phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

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

Język AngielskiAngielski
Książka Miękka
Książka Analysis and Verification of Multiple-Agent Languages, LOMAPS '96 Mads Dam
Kod Libristo: 05274662
Wydawnictwo Springer, Berlin, listopad 1996
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Lan... Cały opis
? points 154 b
261.63 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Save Me Mona Kasten / Miękka
common.buy 48.95 zł
Adam, Eva I Zmija Elejn Pejgels / Miękka
common.buy 87.84 zł
Translating Empire Laura Lomas / Twarda
common.buy 580.31 zł
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Bernhard Krautler / Twarda
common.buy 516.10 zł
Truth about Mid-Life Singles in the USA Caro Kirchhof / Miękka
common.buy 263.03 zł
Logicism and the Philosophy of Language / Miękka
common.buy 261.83 zł
EinFach Deutsch Unterrichtsmodelle Arthur Schnitzler / Miękka
common.buy 135.80 zł
Allgemeine Versicherungsbedingungen Heinrich Dörner / Miękka
common.buy 114.56 zł
Works of Charles Darwin: Vol 7: The Structure and Distribution of Coral Reefs Charles Darwin / Twarda
common.buy 359.85 zł
Reinventing "The People" Shelton Stromquist / Miękka
common.buy 133.50 zł
Young Disabled People Sonali Shah / Twarda
common.buy 901.98 zł

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.

Informacje o książce

Pełna nazwa Analysis and Verification of Multiple-Agent Languages, LOMAPS '96
Autor Mads Dam
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 444
EAN 9783540625032
ISBN 3540625038
Kod Libristo 05274662
Wydawnictwo Springer, Berlin
Waga 694
Wymiary 156 x 234 x 23

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo