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 432 Kč
Engagementpolitik Thomas Olk / Kniha Brožovaná
common.buy 1 830 Kč
Das Melodramatische als Vertonungsstrategie Dubke Esther Dubke / E-kniha Adobe ePub DRM
common.buy 748 Kč
LES VOLEURS DE FUMEE T2 LE MONDE DES DEMONS SALLY GREEN / Kniha Brožovaná
common.buy 273 Kč
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Kniha Brožovaná
common.buy 545 Kč
Sešit A5, 10 listů, typ 513 Let’s be Pirates / Papírenské zboží Papírenské zboží
common.buy 11 Kč
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Kniha Kniha
common.buy 966 Kč
Vita Di Aldo Pio Manuzio Domenico Maria Manni / Kniha Brožovaná
common.buy 305 Kč
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Kniha Brožovaná
common.buy 63 Kč
Chambre 505 Viveca Sten / Kniha Brožovaná
common.buy 330 Kč
BOUCHES DU RHONE INCROYABLES AFFAIRES CRIMINELLES BOTTARELLI / Kniha Brožovaná
common.buy 365 Kč
L'ORTHODONTIE FONCTIONNELLE Choukroun / Kniha Brožovaná
common.buy 1 365 Kč
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Kniha Brožovaná
common.buy 569 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č
EL HACEDOR DE NOMBRES PAUL ITRIAGO / Kniha Kniha
common.buy 383 Kč
Musikunterricht 5/6 Andreas Wickel / Kniha Brožovaná
common.buy 541 Kč
Wieloryb grenlandzki XL / Hra/Hračka Hračka
common.buy 242 Kč
Djinn Jorge Pardo / Audio Audio CD
common.buy 533 Kč
Ränder der Moderne Robert Weimann / Kniha Brožovaná
common.buy 308 Kč
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Kniha Brožovaná
common.buy 1 203 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 323 Kč
DICKENS WORKS V12 Charles 1812-1870 Dickens / Kniha Pevná
common.buy 949 Kč
Wood V. Lovett U.S. Supreme Court Transcript of Record with Supporting Pleadings Additional Contributors / Kniha Brožovaná
common.buy 624 Kč
Prince of Rockport Guy Vanamburg / Kniha Brožovaná
common.buy 456 Kč
Guide Book To York Minster F. Harriso / Kniha Brožovaná
common.buy 447 Kč
A Guide to Hare Coursing and the Dogs for the Job - With Chapters on the Hare, Training and Looking After Your Dogs, Hunt Servants and Their Duties, Various / Kniha Brožovaná
common.buy 662 Kč
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Kniha Brožovaná
common.buy 328 Kč
Truffaut on Cinema Anne Gillain / Kniha Brožovaná
common.buy 859 Kč
Oration, Delivered in the Capitol in the City of Washington, on the Fourth of July, 1825 Asbury Dickins / Kniha Pevná
common.buy 636 Kč
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Kniha Brožovaná
common.buy 392 Kč
Jake Wolf Attorney at Law David Shaw / Kniha Brožovaná
common.buy 213 Kč
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Kniha Brožovaná
common.buy 243 Kč
Trump Boom Andrew Puzder / Kniha Brožovaná
common.buy 333 Kč
Westmorland Alone Ian Sansom / Audiokniha MP3
common.buy 360 Kč
Eros the Bittersweet Anne Carson / E-kniha Adobe ePub DRM
common.buy 457 Kč
Theoretical Methods, Algorithms, and Applications of Quantum Systems in Chemistry, Physics, and Biology Sourav Pal / Kniha Pevná
common.buy 5 175 Kč
Peinture Et Bibelot Pregna Du Pic Dans Lambert Jeremy / Kniha Pevná
common.buy 722 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 295 Kč
Twentieth-Century Diplomacy John W. Young / Kniha Brožovaná
common.buy 1 372 Kč
Discover English 3 Učebnice Jayne Wildman / Kniha Brožovaná
common.buy 490 Kč
Memoirs of Dr. Joseph Priestley Joseph PriestleyThomas Cooper / Kniha Brožovaná
common.buy 1 492 Kč
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Kniha Brožovaná
common.buy 786 Kč
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Kniha Pevná
common.buy 2 154 Kč
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 767 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?