Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Kniha Brožovaná
common.buy 60.76 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Kniha Brožovaná
common.buy 50.02 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Kniha Kniha
common.buy 40.10 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Kniha Brožovaná
common.buy 2.83 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Kniha Brožovaná
common.buy 22.78 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Kniha Brožovaná
common.buy 57.72 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Kniha Brožovaná
common.buy 22.88 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Kniha Brožovaná
common.buy 10.93 €
Engagementpolitik Thomas Olk / Kniha Brožovaná
common.buy 80.21 €
Geburt der Musik Willy Pastor / Kniha Brožovaná
common.buy 22.37 €
Djinn Jorge Pardo / Audio Audio CD
common.buy 23.08 €
Ränder der Moderne Robert Weimann / Kniha Brožovaná
common.buy 12.95 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation
Autor Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2008
Počet strán 325
EAN 9783540781622
ISBN 3540781625
Libristo kód 01569894
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 522
Rozmery 155 x 235 x 19

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Electrochemistry IV Eberhard Steckhan / Kniha Pevná
common.buy 137.84 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Kniha Brožovaná
common.buy 14.57 €
Westmorland Alone Ian Sansom / Audiokniha MP3
common.buy 14.27 €
Trump Boom Andrew Puzder / Kniha Brožovaná
common.buy 13.46 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Kniha Brožovaná
common.buy 9.71 €
Jake Wolf Attorney at Law David Shaw / Kniha Brožovaná
common.buy 8.60 €
Truffaut on Cinema Anne Gillain / Kniha Brožovaná
common.buy 34.63 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Kniha Brožovaná
common.buy 11.33 €
Guide Book To York Minster F. Harriso / Kniha Brožovaná
common.buy 22.37 €
Prince of Rockport Guy Vanamburg / Kniha Brožovaná
common.buy 18.32 €
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 11.84 €
National Flood Insurance Program Cameron O'Kelly / Kniha Brožovaná
common.buy 88.21 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 88.71 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Kniha Pevná
common.buy 95.70 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Kniha Brožovaná
common.buy 34.12 €
Twentieth-Century Diplomacy John W. Young / Kniha Brožovaná
common.buy 58.23 €
Discover English 3 Učebnice Jayne Wildman / Kniha Brožovaná
common.buy 18.22 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?