phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Automated Technology for Verification and Analysis

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Ahmed Bouajjani
Codul Libristo: 01656599
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Descrierea completă
? points 163 b
329 lei
În depozitul extern în cantități mici Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Asterix: Asterix Omnibus 4 René Goscinny / Carte broșată
common.buy 88 lei
curând
Pierre Gagnaire: Reinventing French Cuisine Jean-Francois Abert / Copertă tare
common.buy 151 lei
Martian Chronicles Ray Bradbury / Copertă tare
common.buy 108 lei
Anatomia zwierzat do kolorowania. Aparat ruchu. Podrecznik dla studentow weterynarii Halina Purzyc / Carte broșată
common.buy 121 lei
Alone at Sea John N. Morris / Carte broșată
common.buy 129 lei
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Carte broșată
common.buy 305 lei
Progression of the American Presidency Jim Twombly / Carte broșată
common.buy 324 lei
Altbaukonstruktionen - Materialien und U-Werte im Gebäudebestand. Swen Klauß / Carte broșată
common.buy 300 lei
Learning Medicine Peter Richards / Carte broșată
common.buy 382 lei
PREMO: A Framework for Multimedia Middleware David Duke / Carte broșată
common.buy 324 lei
Education, Indigenous Knowledges, and Development in the Global South Anders Breidlid / Copertă tare
common.buy 1.408 lei
Our Cats And All About Them Harrison Weir / Copertă tare
common.buy 216 lei
Mysticism in Twentieth-Century Hebrew Literature Hamutal Bar-Yosef / Copertă tare
common.buy 656 lei
My Philosophy Oliver Lodge / Carte broșată
common.buy 277 lei

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Informații despre carte

Titlu complet Automated Technology for Verification and Analysis
Autor Ahmed Bouajjani, Wei-Ngan Chin
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 404
EAN 9783642156427
ISBN 3642156428
Codul Libristo 01656599
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 624
Dimensiuni 327 x 239 x 28

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Computing & Information Technology > Operating systems
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

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