phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Analysis and Verification of Multiple-Agent Languages, LOMAPS '96 Mads Dam
Libristo kód: 05274662
Nakladatelství Springer, Berlin, listopadu 1996
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Lan... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Save Me Mona Kasten / Brožovaná
common.buy 306 Kč
Adam, Eva I Zmija Elejn Pejgels / Brožovaná
common.buy 517 Kč
Translating Empire Laura Lomas / Pevná
common.buy 3 595 Kč
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Bernhard Krautler / Pevná
common.buy 3 037 Kč
Truth about Mid-Life Singles in the USA Caro Kirchhof / Brožovaná
common.buy 1 548 Kč
Logicism and the Philosophy of Language / Brožovaná
common.buy 1 618 Kč
EinFach Deutsch Unterrichtsmodelle Arthur Schnitzler / Brožovaná
common.buy 839 Kč
Allgemeine Versicherungsbedingungen Heinrich Dörner / Brožovaná
common.buy 711 Kč
Works of Charles Darwin: Vol 7: The Structure and Distribution of Coral Reefs Charles Darwin / Pevná
common.buy 2 214 Kč
Reinventing "The People" Shelton Stromquist / Brožovaná
common.buy 786 Kč
Young Disabled People Sonali Shah / Pevná
common.buy 5 308 Kč

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.

Informace o knize

Plný název Analysis and Verification of Multiple-Agent Languages, LOMAPS '96
Autor Mads Dam
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 444
EAN 9783540625032
ISBN 3540625038
Libristo kód 05274662
Nakladatelství Springer, Berlin
Váha 694
Rozměry 156 x 234 x 23

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet