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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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 142 b
57.91 €
Vanjske zalihe Šaljemo za 10-16 dana

Do 30 dana za povrat

Kupci su kupili i

Kamumemoár James Blunt / Knjiga Tvrdi uvez
common.buy 14.70 €
Usługiwałem esesmanom z Auschwitz. Wspomnienia więźnia z komanda Unterkunskammer wyd. 2025 Józef Seweryn / Knjiga Meki uvez
common.buy 10.89 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Knjiga Knjiga
common.buy 11.69 €
Dawit Isaak Anisur Rahman / Knjiga Meki uvez
common.buy 24.80 €
Joan Miro TBD / Knjiga Tvrdi uvez
common.buy 39.81 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-knjiga Adobe ePub DRM
common.buy 13.20 €
Des petits mondes en leur début / Knjiga Meki uvez
common.buy 34.50 €
Le Coran expliqué aux jeunes Rachid Benzine / Knjiga Meki uvez
common.buy 10.69 €
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Knjiga Meki uvez
common.buy 17.90 €
Augusto Giacometti Beat Stutzer / Knjiga Meki uvez
common.buy 42.31 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Knjiga Meki uvez
common.buy 17.70 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Knjiga Meki uvez
common.buy 30.60 €
Allí, donde se acaba el mundo Poulain / Knjiga Meki uvez
common.buy 23.00 €
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Knjiga Meki uvez
common.buy 207.27 €
Moje plány Jan Sokol / Knjiga Meki uvez
common.buy 13.90 €
Holašovice: Vesnická památková rezervace collegium / Knjiga List
common.buy 11.69 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Knjiga binding.
common.buy 3.99 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Knjiga Meki uvez
common.buy 16.00 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Knjiga Meki uvez
common.buy 39.71 €
Burenkrieg (1899-1902) Burkhard Werner / Knjiga Meki uvez
common.buy 13.40 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Knjiga Tvrdi uvez
common.buy 50.41 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Knjiga Meki uvez
common.buy 30.90 €
Gottfried Keller Albert Köster / Knjiga Meki uvez
common.buy 23.20 €
Sang famille Michel Bussi / Knjiga Meki uvez
common.buy 11.39 €

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 57.91 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Knjiga Meki uvez
common.buy 25.60 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Knjiga Tvrdi uvez
common.buy 77.42 €
Changing Room Zhai Yongming / Knjiga Meki uvez
common.buy 17.30 €
Torn in the New Sa Bronwyn McIntosh / Knjiga Meki uvez
common.buy 21.70 €
Ibn Taymiyya's Theological Ethics Sophia Vasalou / Knjiga Tvrdi uvez
common.buy 173.06 €
English Physician's Guide or a Holy Guide V1 John Heydon / Knjiga Tvrdi uvez
common.buy 59.31 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Knjiga Meki uvez
common.buy 27.70 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Knjiga Tvrdi uvez
common.buy 31.30 €
Dominoes: Three: The Secret Agent Joseph Conrad / Knjiga Meki uvez
common.buy 14.00 €
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Knjiga Meki uvez
common.buy 37.91 €
Seven Hours at the Ocean Ty Davis / Knjiga Meki uvez
common.buy 7.59 €
Outdoors: A Book of the Woods, Fields and Marshlands (1907) Ernest McGaffey / Knjiga Meki uvez
common.buy 30.40 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Knjiga Meki uvez
common.buy 22.30 €
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.22 €
Making Great Pulled Pork and BBQ: Recipes for Bernie's Country Kitchen Farm Market Favorites Bernie's Country Kitchen / Knjiga Meki uvez
common.buy 12.00 €
The Doctrine of the Two Covenants Ezekiel Hopkins / Knjiga Meki uvez
common.buy 16.50 €
The Voice of the Pack Edison Marshall / Knjiga Meki uvez
common.buy 31.30 €
Two Dark Reigns Kendare Blake / Knjiga Meki uvez
common.buy 9.19 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Knjiga Meki uvez
common.buy 16.50 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Knjiga Meki uvez
common.buy 38.71 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Knjiga Meki uvez
common.buy 101.83 €
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Knjiga Tvrdi uvez
common.buy 152.65 €
History of the People's Republic of China, 1949-1976 Julia Strauss / Knjiga Meki uvez
common.buy 46.91 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?