hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Dam, Mads
1 Treffer
Seite < 1 >
Cover

Analysis and verification of multiple agent languages

: selected papers / 5th LOMAPS Workshop, Stockholm, Sweden, June 24 - 26, 1996 / Mads Dam (ed.). - Berlin : Springer, 1997. - VIII, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1192)

ISBN 978-3-540-62503-2 / 3-540-62503-8 kart. : DM 90.00

Literaturangaben

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen