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.

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Libristo kód: 01569894
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, únor 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Kniha Brožovaná
common.buy 1 469 Kč
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Kniha Brožovaná
common.buy 1 209 Kč
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Kniha Kniha
common.buy 970 Kč
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Kniha Brožovaná
common.buy 62 Kč
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Kniha Brožovaná
common.buy 551 Kč
L'ORTHODONTIE FONCTIONNELLE Choukroun / Kniha Brožovaná
common.buy 1 394 Kč
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Kniha Brožovaná
common.buy 554 Kč
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Kniha Brožovaná
common.buy 249 Kč
Engagementpolitik Thomas Olk / Kniha Brožovaná
common.buy 1 831 Kč
Geburt der Musik Willy Pastor / Kniha Brožovaná
common.buy 509 Kč
Djinn Jorge Pardo / Audio Audio CD
common.buy 533 Kč
Ränder der Moderne Robert Weimann / Kniha Brožovaná
common.buy 313 Kč

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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 Verification, Model Checking, and Abstract Interpretation
Autor Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 325
EAN 9783540781622
ISBN 3540781625
Libristo kód 01569894
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 522
Rozměry 155 x 235 x 19

Kategorie

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
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

Electrochemistry IV Eberhard Steckhan / Kniha Pevná
common.buy 3 330 Kč
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Kniha Brožovaná
common.buy 353 Kč
Westmorland Alone Ian Sansom / Audiokniha MP3
common.buy 345 Kč
Trump Boom Andrew Puzder / Kniha Brožovaná
common.buy 325 Kč
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Kniha Brožovaná
common.buy 236 Kč
Jake Wolf Attorney at Law David Shaw / Kniha Brožovaná
common.buy 208 Kč
Truffaut on Cinema Anne Gillain / Kniha Brožovaná
common.buy 837 Kč
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Kniha Brožovaná
common.buy 274 Kč
Guide Book To York Minster F. Harriso / Kniha Brožovaná
common.buy 510 Kč
Prince of Rockport Guy Vanamburg / Kniha Brožovaná
common.buy 444 Kč
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Kniha Brožovaná
common.buy 287 Kč
National Flood Insurance Program Cameron O'Kelly / Kniha Brožovaná
common.buy 2 013 Kč
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 2 144 Kč
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Kniha Pevná
common.buy 2 196 Kč
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Kniha Brožovaná
common.buy 824 Kč
Twentieth-Century Diplomacy John W. Young / Kniha Brožovaná
common.buy 1 407 Kč
Discover English 3 Učebnice Jayne Wildman / Kniha Brožovaná
common.buy 494 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