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.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Knjiga Mehka
common.buy 57.91 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Knjiga Mehka
common.buy 44.75 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Knjiga Knjiga
common.buy 36.44 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Knjiga Mehka
common.buy 2.83 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Knjiga Mehka
common.buy 20.24 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Knjiga Mehka
common.buy 52.65 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Knjiga Mehka
common.buy 22.88 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Knjiga Mehka
common.buy 10.22 €
Engagementpolitik Thomas Olk / Knjiga Mehka
common.buy 75.73 €
Geburt der Musik Willy Pastor / Knjiga Mehka
common.buy 21.05 €
Djinn Jorge Pardo / Zvok Zvočni CD
common.buy 22.06 €
Ränder der Moderne Robert Weimann / Knjiga Mehka
common.buy 11.53 €

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 124.14 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Knjiga Mehka
common.buy 13.56 €
Westmorland Alone Ian Sansom / Zvočnica MP3
common.buy 12.75 €
Trump Boom Andrew Puzder / Knjiga Mehka
common.buy 13.46 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Knjiga Mehka
common.buy 9.71 €
Jake Wolf Attorney at Law David Shaw / Knjiga Mehka
common.buy 8.60 €
Truffaut on Cinema Anne Gillain / Knjiga Mehka
common.buy 34.62 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Knjiga Mehka
common.buy 11.33 €
Guide Book To York Minster F. Harriso / Knjiga Mehka
common.buy 22.37 €
Prince of Rockport Guy Vanamburg / Knjiga Mehka
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 / Knjiga Mehka
common.buy 11.84 €
National Flood Insurance Program Cameron O'Kelly / Knjiga Mehka
common.buy 83.23 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Zvok Zvočni CD
common.buy 88.70 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Knjiga Trda
common.buy 95.68 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Knjiga Mehka
common.buy 32.49 €
Twentieth-Century Diplomacy John W. Young / Knjiga Mehka
common.buy 58.22 €
Discover English 3 Učebnice Jayne Wildman / Knjiga Mehka
common.buy 19.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?