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

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Libristo kod: 01571263
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinac 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Knjiga Meki uvez
common.buy 33.01 €
Geheime Liebe auf Sylt Gabriele Diechler / Knjiga Meki uvez
common.buy 10.32 €
Pověsti Čech, Moravy a Slezska August Sedláček / Knjiga Tvrdi uvez
common.buy 8.60 €
Tantrická masáž Kalashatra Govinda / Knjiga Tvrdi uvez
common.buy 18.02 €
Neumírej před smrtí Jevgenij Jevtušenko / Knjiga binding.
common.buy 8.40 €
Death note. Short stories Tsugumi Ohba / Knjiga Meki uvez
common.buy 8.60 €
Anekdòt -2 Bob Lapierre / Knjiga Meki uvez
common.buy 39.59 €
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Knjiga Meki uvez
common.buy 29.77 €
Quer durch Athen Petros Markaris / Knjiga Meki uvez
common.buy 10.93 €
Potigny - au siècle des mineurs Benjamin / Knjiga Tvrdi uvez
common.buy 29.67 €
Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck / Knjiga Meki uvez
common.buy 19.94 €
Drácula superstar JULIO PEREZ MANZANARES / Audio Audio CD
common.buy 23.28 €
La vuelta al mundo en 80 días GERONIMO STILTON / Knjiga Meki uvez
common.buy 13.97 €
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Knjiga Meki uvez
common.buy 74.53 €
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Knjiga Meki uvez
common.buy 40.20 €
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Knjiga Meki uvez
common.buy 62.68 €
Pripremamo
Das Orakel vom Berge Philip K. Dick / Knjiga Meki uvez
common.buy 9.11 €
Quantifizierung Operationeller Risiken Christian Bohlender / Knjiga Meki uvez
common.buy 47.39 €
Die Wahrheit über mich - Das Fragespiel David Tripolina / Igra/Igračka Igra
common.buy 7.69 €
Processus d'Impression Textiles Zouhaier Romdhani / Knjiga Meki uvez
common.buy 41.01 €

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

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 Neil D. Jones, Markus Müller-Olm
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2008
Broj stranica 381
EAN 9783540938996
ISBN 3540938990
Libristo kod 01571263
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 605
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

Diagram Geometry Buekenhout / Knjiga Meki uvez
common.buy 113.33 €
Writing What People Buy Anne Hart / Knjiga Meki uvez
common.buy 19.44 €
Level 5: On the Road Jack Kerouac / Knjiga Meki uvez
common.buy 13.06 €
Frightened Kitten Holly Webb / Knjiga Meki uvez
common.buy 6.67 €
Israel Jack Altman / Knjiga Meki uvez
common.buy 5.56 €
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Knjiga Meki uvez
common.buy 8.60 €
FEMALE ADOLESCENT FRIENDSHIP and THE CONSTRUCT OF IDENTITY Kristin Van Namen / Knjiga Meki uvez
common.buy 61.77 €
Top
The Sopranos Family Cookbook Artie Bucco / Knjiga Tvrdi uvez
common.buy 25.61 €
Alfred Dudley: Or The Australian Settlers Sarah Porter / Knjiga Tvrdi uvez
common.buy 39.29 €
Between Facts and Norms - Contributions to a Discourse Theory of Law and Democracy Jürgen Habermas / Knjiga Meki uvez
common.buy 26.93 €
Hours Of Solitude A Collection Of Original Poems Volume 1 Charlotte Dacre / Knjiga Meki uvez
common.buy 20.35 €
Chess Player's Bible James Eade & Al Lawrence / Knjiga Tvrdi uvez
common.buy 17.11 €
Romance without fiction Henry Bleby / Knjiga Meki uvez
common.buy 33.01 €
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Knjiga Tvrdi uvez
common.buy 50.63 €
In a Perfect World Trish Doller / Knjiga Tvrdi uvez
common.buy 17.21 €
The Rising Kelley Armstrong / Knjiga Meki uvez
common.buy 9.92 €
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Knjiga Meki uvez
common.buy 17.21 €
Walking Words Eduardo Galeano / Knjiga Meki uvez
common.buy 21.16 €
Povoljno
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Knjiga Meki uvez
common.buy 6.37 €
'Kubla Khan' and the Fall of Jerusalem E. S. Shaffer / Knjiga Meki uvez
common.buy 62.99 €
Top
Fall I Want PARISH LYRA / Knjiga Meki uvez
common.buy 10.83 €
Writing Around the World Matthew McCool / Knjiga Tvrdi uvez
common.buy 211.57 €
Dragon Rider Taran Matharu / Knjiga Tvrdi uvez
common.buy 18.12 €

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?