[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Analysis and Verification of Multiple-Agent Languages, LOMAPS '96

Sprache EnglischEnglisch
Buch Broschur
Buch Analysis and Verification of Multiple-Agent Languages, LOMAPS '96 Mads Dam
Libristo-Code: 05274662
Verlag Springer, Berlin, November 1996
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Lan... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Save Me Mona Kasten / Broschur
common.buy 14.13 €
Adam, Eva I Zmija Elejn Pejgels / Broschur
common.buy 21.68 €
Translating Empire Laura Lomas / Hardcover
common.buy 143.36 €
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Bernhard Krautler / Hardcover
common.buy 140.34 €
Truth about Mid-Life Singles in the USA Caro Kirchhof / Broschur
common.buy 64.87 €
Logicism and the Philosophy of Language / Broschur
common.buy 64.46 €
EinFach Deutsch Unterrichtsmodelle Arthur Schnitzler / Broschur
common.buy 30.27 €
Allgemeine Versicherungsbedingungen Heinrich Dörner / Broschur
common.buy 30.17 €
Works of Charles Darwin: Vol 7: The Structure and Distribution of Coral Reefs Charles Darwin / Hardcover
common.buy 88.27 €
Reinventing "The People" Shelton Stromquist / Broschur
common.buy 30.66 €
Young Disabled People Sonali Shah / Hardcover
common.buy 220.95 €

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Informationen zum Buch

Vollständiger Name Analysis and Verification of Multiple-Agent Languages, LOMAPS '96
Autor Mads Dam
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 444
EAN 9783540625032
ISBN 3540625038
Libristo-Code 05274662
Verlag Springer, Berlin
Gewicht 694
Abmessungen 156 x 234 x 23

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto