Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verification, Model Checking, and Abstract Interpretation

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

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Codul Libristo: 01569894
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Carte Carte broșată
common.buy 333.92 lei
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Carte Carte broșată
common.buy 262.51 lei
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Carte Carte
common.buy 210.59 lei
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Carte Carte broșată
common.buy 15.84 lei
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Carte Carte broșată
common.buy 119.57 lei
L'ORTHODONTIE FONCTIONNELLE Choukroun / Carte Carte broșată
common.buy 302.64 lei
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Carte Carte broșată
common.buy 136.35 lei
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Carte Carte broșată
common.buy 60.77 lei
Engagementpolitik Thomas Olk / Carte Carte broșată
common.buy 444.01 lei
Geburt der Musik Willy Pastor / Carte Carte broșată
common.buy 124.37 lei
Djinn Jorge Pardo / Audio Audio CD
common.buy 127.18 lei
Ränder der Moderne Robert Weimann / Carte Carte broșată
common.buy 67.96 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verification, Model Checking, and Abstract Interpretation
Autor Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 325
EAN 9783540781622
ISBN 3540781625
Codul Libristo 01569894
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 522
Dimensiuni 155 x 235 x 19

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Electrochemistry IV Eberhard Steckhan / Carte Copertă tare
common.buy 723.00 lei
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Carte Carte broșată
common.buy 81.41 lei
Westmorland Alone Ian Sansom / Audiobook MP3
common.buy 74.85 lei
Trump Boom Andrew Puzder / Carte Carte broșată
common.buy 79.85 lei
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Carte Carte broșată
common.buy 56.91 lei
Jake Wolf Attorney at Law David Shaw / Carte Carte broșată
common.buy 50.97 lei
Truffaut on Cinema Anne Gillain / Carte Carte broșată
common.buy 201.20 lei
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Carte Carte broșată
common.buy 67.34 lei
Guide Book To York Minster F. Harriso / Carte Carte broșată
common.buy 117.28 lei
Prince of Rockport Guy Vanamburg / Carte Carte broșată
common.buy 106.54 lei
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 / Carte Carte broșată
common.buy 70.78 lei
National Flood Insurance Program Cameron O'Kelly / Carte Carte broșată
common.buy 488.53 lei
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 505.00 lei
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Carte Copertă tare
common.buy 501.98 lei
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Carte Carte broșată
common.buy 187.13 lei
Twentieth-Century Diplomacy John W. Young / Carte Carte broșată
common.buy 335.17 lei
Discover English 3 Učebnice Jayne Wildman / Carte Carte broșată
common.buy 111.75 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo