Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Rajeev Alur
Libristo kód: 01559563
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

TNM Atlas 7e JD Brierley / Kniha Brožovaná
common.buy 2 490 Kč
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Kniha Brožovaná
common.buy 200 Kč
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Kniha Pevná
common.buy 313 Kč
Cosa Nostra John Dickie / Kniha Brožovaná
common.buy 352 Kč
Připravujeme
Praha mapa turistických zajímavostí / Tiskovina Mapa
common.buy 62 Kč
PALINODIE Giacomo LEOPARDI / Kniha Brožovaná
common.buy 235 Kč
Fêtes et Chansons anciennes de la Chine Marcel Granet / Kniha Brožovaná
common.buy 789 Kč
Maison la plus grande du monde (La) LIONNI / Kniha Brožovaná
common.buy 220 Kč
Adolescence, maltraitance et placement Van Hooland / Kniha Brožovaná
common.buy 441 Kč
Offizielle Softballregeln 2018-2021 Thomas Haller / Kniha Brožovaná
common.buy 168 Kč
Código de insolvencias empresariales Rodriguez Achutegui / Kniha Brožovaná
common.buy 1 884 Kč
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Kniha Brožovaná
common.buy 267 Kč
Levně
Harry Potter Tvory a netvory Jody Revenson / Kniha Pevná
common.buy 633 Kč

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor Rajeev Alur, Doron A. Peled
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 536
EAN 9783540223429
ISBN 3540223428
Libristo kód 01559563
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1700
Rozměry 155 x 233 x 30

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í > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
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

Mohlo by vás také zajímat

Neuroeconomics MARTIN REUTER / Kniha Brožovaná
common.buy 3 767 Kč
Second Language Teacher Education Diane J. Tedick / Kniha Brožovaná
common.buy 2 147 Kč
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Kniha Brožovaná
common.buy 380 Kč
Levně
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Kniha Brožovaná
common.buy 54 Kč
Chasing Time F I Goldhaber / Kniha Brožovaná
common.buy 247 Kč
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Kniha Brožovaná
common.buy 777 Kč
More Than Words Vernon Logan / Kniha Brožovaná
common.buy 392 Kč
Stories of Animal Sagacity W. H. G. Kingston / Kniha Brožovaná
common.buy 449 Kč
Happiness Andy Cope / Kniha Pevná
common.buy 361 Kč
Maria The Monarch Homero Aridjis / Kniha Brožovaná
common.buy 293 Kč
Women Who Move Mountains Sue Detweiler / Kniha Brožovaná
common.buy 359 Kč
Church of England - Charity Law and Human Rights Kerry O'Halloran / Kniha Brožovaná
common.buy 2 357 Kč
Top
Devil's Reign Zdarsky / Kniha Brožovaná
common.buy 573 Kč
Operatic China D. Lei / Kniha Brožovaná
common.buy 2 108 Kč
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Kniha Pevná
common.buy 756 Kč
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Kniha Brožovaná
common.buy 1 185 Kč
Interpretations of Native North American Life Michael S. Nassaney / Kniha Brožovaná
common.buy 644 Kč
Generations on the Land Joe Nick Patoski / Kniha Pevná
common.buy 522 Kč
Making Schools Different Kitty te Riele / Kniha Pevná
common.buy 2 913 Kč
Pure Cute Beverly West / Kniha Pevná
common.buy 221 Kč
Swahili Grammar and Workbook Fid?le Mpiranya / Kniha Brožovaná
common.buy 1 956 Kč
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Kniha Pevná
common.buy 1 067 Kč
Top
Grounded George Brant / Kniha Brožovaná
common.buy 402 Kč
Beyond Babar Sandra L. Beckett / E-kniha Adobe ePub DRM
common.buy 2 284 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?