Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verification, Model Checking, and Abstract Interpretation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Koda Libristo: 01569894
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februar 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... Celoten opis
? points 118 b
48.64 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Knjiga Mehka
common.buy 62.03 €
Engagementpolitik Thomas Olk / Knjiga Mehka
common.buy 75.33 €
Das Melodramatische als Vertonungsstrategie Dubke Esther Dubke / E-knjiga Adobe ePub DRM
common.buy 27.49 €
LES VOLEURS DE FUMEE T2 LE MONDE DES DEMONS SALLY GREEN / Knjiga Mehka
common.buy 10.26 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Knjiga Mehka
common.buy 19.93 €
Sešit A5, 10 listů, typ 513 Let’s be Pirates / Pisarniški material Pisarniški material
common.buy 1.60 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Knjiga Knjiga
common.buy 36.15 €
Vita Di Aldo Pio Manuzio Domenico Maria Manni / Knjiga Mehka
common.buy 12.58 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Knjiga Mehka
common.buy 3.62 €
Chambre 505 Viveca Sten / Knjiga Mehka
common.buy 12.38 €
BOUCHES DU RHONE INCROYABLES AFFAIRES CRIMINELLES BOTTARELLI / Knjiga Mehka
common.buy 13.99 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Knjiga Mehka
common.buy 51.26 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Knjiga Mehka
common.buy 23.46 €
Geburt der Musik Willy Pastor / Knjiga Mehka
common.buy 20.94 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Knjiga Mehka
common.buy 10.16 €
EL HACEDOR DE NOMBRES PAUL ITRIAGO / Knjiga Knjiga
common.buy 13.99 €
Musikunterricht 5/6 Andreas Wickel / Knjiga Mehka
common.buy 22.25 €
Wieloryb grenlandzki XL / Igra/Igrača Igrača
common.buy 9.96 €
Djinn Jorge Pardo / Zvok Zvočni CD
common.buy 21.96 €
Ränder der Moderne Robert Weimann / Knjiga Mehka
common.buy 11.27 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Knjiga Mehka
common.buy 44.41 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verification, Model Checking, and Abstract Interpretation
Avtor Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2008
Število strani 325
EAN 9783540781622
ISBN 3540781625
Koda Libristo 01569894
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 522
Mere 155 x 235 x 19

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Electrochemistry IV Eberhard Steckhan / Knjiga Trda
common.buy 123.27 €
DICKENS WORKS V12 Charles 1812-1870 Dickens / Knjiga Trda
common.buy 39.07 €
Wood V. Lovett U.S. Supreme Court Transcript of Record with Supporting Pleadings Additional Contributors / Knjiga Mehka
common.buy 25.67 €
Prince of Rockport Guy Vanamburg / Knjiga Mehka
common.buy 18.72 €
Guide Book To York Minster F. Harriso / Knjiga Mehka
common.buy 19.43 €
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 / Knjiga Mehka
common.buy 28.90 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Knjiga Mehka
common.buy 13.09 €
Truffaut on Cinema Anne Gillain / Knjiga Mehka
common.buy 35.34 €
Oration, Delivered in the Capitol in the City of Washington, on the Fourth of July, 1825 Asbury Dickins / Knjiga Trda
common.buy 26.18 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Knjiga Mehka
common.buy 15.70 €
Jake Wolf Attorney at Law David Shaw / Knjiga Mehka
common.buy 8.75 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Knjiga Mehka
common.buy 9.96 €
Trump Boom Andrew Puzder / Knjiga Mehka
common.buy 13.69 €
Westmorland Alone Ian Sansom / Zvočnica MP3
common.buy 13.18 €
Eros the Bittersweet Anne Carson / E-knjiga Adobe ePub DRM
common.buy 16.81 €
Theoretical Methods, Algorithms, and Applications of Quantum Systems in Chemistry, Physics, and Biology Sourav Pal / Knjiga Trda
common.buy 213.01 €
Peinture Et Bibelot Pregna Du Pic Dans Lambert Jeremy / Knjiga Trda
common.buy 27.08 €
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 / Knjiga Mehka
common.buy 12.18 €
Twentieth-Century Diplomacy John W. Young / Knjiga Mehka
common.buy 59.41 €
Discover English 3 Učebnice Jayne Wildman / Knjiga Mehka
common.buy 19.13 €
Memoirs of Dr. Joseph Priestley Joseph PriestleyThomas Cooper / Knjiga Mehka
common.buy 64.65 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Knjiga Mehka
common.buy 34.03 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Knjiga Trda
common.buy 93.36 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Zvok Zvočni CD
common.buy 33.23 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?