Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Libristo kod: 01655343
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Cijeli opis
? points 135 b
55.77 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Le Coran expliqué aux jeunes Rachid Benzine / Knjiga Meki uvez
common.buy 11.91 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Knjiga Tvrdi uvez
common.buy 9.08 €
Burenkrieg (1899-1902) Burkhard Werner / Knjiga Meki uvez
common.buy 13.53 €
Augusto Giacometti Beat Stutzer / Knjiga Meki uvez
common.buy 42.84 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Knjiga Meki uvez
common.buy 17.88 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Knjiga Meki uvez
common.buy 30.91 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Knjiga Meki uvez
common.buy 40.11 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Knjiga Meki uvez
common.buy 16.16 €
Plansza dwustronna A4 ściąga Europa / Knjiga binding.
common.buy 1.71 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-knjiga Adobe ePub DRM
common.buy 13.23 €
Joan Miro TBD / Knjiga Tvrdi uvez
common.buy 39.20 €
Dawit Isaak Anisur Rahman / Knjiga Meki uvez
common.buy 25.05 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Knjiga Knjiga
common.buy 13.03 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Knjiga binding.
common.buy 3.32 €
Holašovice: Vesnická památková rezervace collegium / Knjiga List
common.buy 11.81 €
Des petits mondes en leur début / Knjiga Meki uvez
common.buy 34.85 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Knjiga Tvrdi uvez
common.buy 50.92 €
Indische Reisebriefe Ernst Haeckel / Knjiga Meki uvez
common.buy 35.66 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Knjiga Meki uvez
common.buy 31.22 €
Sang famille Michel Bussi / Knjiga Meki uvez
common.buy 12.62 €
Traite Du Jeu. Volume 1 BARBEYRAC-J / Knjiga Meki uvez
common.buy 30.20 €
Gottfried Keller Albert Köster / Knjiga Meki uvez
common.buy 23.74 €
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Knjiga Meki uvez
common.buy 13.63 €
Iniciacion deportiva en la escuela Abadi / Knjiga Meki uvez
common.buy 28.49 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verification, Model Checking, and Abstract Interpretation
Autor Gilles Barthe, Manuel Hermenegildo
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 397
EAN 9783642113185
ISBN 3642113184
Libristo kod 01655343
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 612
Dimenzije 155 x 235 x 23

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Bio-Inspired Computing and Applications De-Shuang Huang / Knjiga Meki uvez
common.buy 55.77 €
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Knjiga Tvrdi uvez
common.buy 61.83 €
Changing Room Zhai Yongming / Knjiga Meki uvez
common.buy 18.18 €
Torn in the New Sa Bronwyn McIntosh / Knjiga Meki uvez
common.buy 23.94 €
English Physician's Guide or a Holy Guide V1 John Heydon / Knjiga Tvrdi uvez
common.buy 54.46 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Knjiga Meki uvez
common.buy 27.98 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Knjiga Tvrdi uvez
common.buy 31.62 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Knjiga Meki uvez
common.buy 25.86 €
Seven Hours at the Ocean Ty Davis / Knjiga Meki uvez
common.buy 7.67 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Knjiga Meki uvez
common.buy 22.52 €
Entering the Healing Ground WELLER FRANCIS / Knjiga Meki uvez
common.buy 14.95 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Knjiga Meki uvez
common.buy 16.66 €
Two Dark Reigns Kendare Blake / Knjiga Meki uvez
common.buy 8.98 €
The Voice of the Pack Edison Marshall / Knjiga Meki uvez
common.buy 31.62 €
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Knjiga Meki uvez
common.buy 13.03 €
My Mom is a Construction Manager Princess Karibo / Knjiga Meki uvez
common.buy 26.87 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Knjiga Meki uvez
common.buy 42.74 €
30 Great Books That Made History Aurell / Knjiga Meki uvez
common.buy 23.74 €
Think Starter Workbook with Online Practice Herbert Puchta / Knjiga Tvrdi uvez
common.buy 10.10 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Knjiga Tvrdi uvez
common.buy 78.20 €
Anthems for Choirs 4 Christopher Morris / Tiskanica Note
common.buy 24.04 €
Get addicted to free-motion quilting Sheila Sinclair Snyder / Knjiga Meki uvez
common.buy 18.58 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Knjiga Meki uvez
common.buy 102.86 €
History of the People's Republic of China, 1949-1976 Julia Strauss / Knjiga Meki uvez
common.buy 47.38 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun