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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 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 475 Kč
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Kniha Brožovaná
common.buy 545 Kč
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Kniha Brožovaná
common.buy 76 Kč
Engagementpolitik Thomas Olk / Kniha Brožovaná
common.buy 1 831 Kč
LES VOLEURS DE FUMEE T2 LE MONDE DES DEMONS SALLY GREEN / Kniha Brožovaná
common.buy 271 Kč
Sešit A5, 10 listů, typ 513 Let’s be Pirates / Papírenské zboží Papírenské zboží
common.buy 39 Kč
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Kniha Kniha
common.buy 968 Kč
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Kniha Brožovaná
common.buy 1 203 Kč
L'ORTHODONTIE FONCTIONNELLE Choukroun / Kniha Brožovaná
common.buy 1 364 Kč
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Kniha Brožovaná
common.buy 554 Kč
Geburt der Musik Willy Pastor / Kniha Brožovaná
common.buy 509 Kč
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Kniha Brožovaná
common.buy 248 Kč
Vita Di Aldo Pio Manuzio Domenico Maria Manni / Kniha Brožovaná
common.buy 298 Kč
Musikunterricht 5/6 Andreas Wickel / Kniha Brožovaná
common.buy 541 Kč
Djinn Jorge Pardo / Audio Audio CD
common.buy 533 Kč
Ränder der Moderne Robert Weimann / Kniha Brožovaná
common.buy 308 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 324 Kč
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Kniha Brožovaná
common.buy 351 Kč
Theoretical Methods, Algorithms, and Applications of Quantum Systems in Chemistry, Physics, and Biology Sourav Pal / Kniha Pevná
common.buy 5 177 Kč
Eros the Bittersweet Anne Carson / E-kniha Adobe ePub DRM
common.buy 2 472 Kč
Westmorland Alone Ian Sansom / Audiokniha MP3
common.buy 348 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č
DICKENS WORKS V12 Charles 1812-1870 Dickens / Kniha Pevná
common.buy 924 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 317 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č
Routledge Intermediate Chinese Reader Xiaoyuan Zhao / Kniha Pevná
common.buy 5 651 Kč
National Flood Insurance Program Cameron O'Kelly / Kniha Brožovaná
common.buy 2 012 Kč
Responsive School Practices to Support Lesbian, Gay, Bisexual, Transgender, and Questioning Students and Families Kelly S. Kennedy / Kniha Brožovaná
common.buy 1 355 Kč
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 767 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 840 Kč
Discover English 3 Učebnice Jayne Wildman / Kniha Brožovaná
common.buy 490 Kč
Twentieth-Century Diplomacy John W. Young / Kniha Brožovaná
common.buy 1 407 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?