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 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Tools and Algorithms for the Construction and Analysis of Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Tools and Algorithms for the Construction and Analysis of Systems Parosh Aziz Abdulla
Libristo kód: 01657596
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, března 2011
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Alg... Celý popis
? points 170 b
1 702 Kč
Skladem u dodavatele Odesíláme za 9-13 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Colouring Book Kandinsky Kutschbach Doris / Brožovaná
common.buy 231 Kč
Max Frisch Julian Schütt / Brožovaná
common.buy 352 Kč
Intuitive Sources of Probabilistic Thinking in Children H. Fischbein / Pevná
common.buy 1 681 Kč
Die Deutung von Kinderzeichnungen Joseph H. DiLeo / Brožovaná
common.buy 674 Kč
Linking Research and Marketing Opportunities for Pulses in the 21st Century R. Knight / Brožovaná
common.buy 6 578 Kč

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. §The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Informace o knize

Plný název Tools and Algorithms for the Construction and Analysis of Systems
Autor Parosh Aziz Abdulla, K.Rustan M. Leino
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 394
EAN 9783642198342
ISBN 3642198341
Libristo kód 01657596
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 612
Rozměry 155 x 235 x 25

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ý hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
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