Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.99 € DHL koeriersdienst 5.99 € GLS koerier 5.49 € DPD-punt 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Verification, Model Checking, and Abstract Interpretation

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

Taal EngelsEngels
Boek Paperback
Boek Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Libristo-code: 01571263
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Volledige beschrijving
? points 125 b
51.34 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Geheime Liebe auf Sylt Gabriele Diechler / Boek Paperback
common.buy 11.14 €
Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Boek Paperback
common.buy 32.76 €
Anekdòt -2 Bob Lapierre / Boek Paperback
common.buy 39.89 €
Proteza szczekowo-twarzowa VAISHNAVI M. GHUGE / Boek Paperback
common.buy 53.95 €
Bhagavad Gita As It Is [Bengali Language] A. C. Bhaktivedanta Swami Prabhupada / Boek Paperback
common.buy 23.00 €
TOP
La vuelta al mundo en 80 días GERONIMO STILTON / Boek Paperback
common.buy 14.56 €
TOP
A zárda gyermekei Patricia Gibney / Boek Gebonden
common.buy 15.16 €
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Boek Paperback
common.buy 30.34 €
Tantrická masáž Kalashatra Govinda / Boek Gebonden
common.buy 16.17 €
Neumírej před smrtí Jevgenij Jevtušenko / Boek binding.
common.buy 8.93 €
Quer durch Athen Petros Markaris / Boek Paperback
common.buy 13.46 €
Fuzzy-Expertensysteme Zur Beurteilung Von Kreditrisiken Hans-Peter Güllich / Boek Paperback
common.buy 52.75 €
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Boek Paperback
common.buy 78.68 €
Wordt verwacht
Das Orakel vom Berge Philip K. Dick / Boek Paperback
common.buy 9.03 €
Quantifizierung Operationeller Risiken Christian Bohlender / Boek Paperback
common.buy 51.94 €
KANTATE NR. 6 CHANT HEINRICH SUTERMEISTE Boek binding.
common.buy 58.38 €
Feynman-Vorlesungen über Physik / Strahlung und Wärme Richard P. Feynman / Boek Gebonden
common.buy 65.51 €
Processus d'Impression Textiles Zouhaier Romdhani / Boek Paperback
common.buy 40.69 €
Pověsti Čech, Moravy a Slezska August Sedláček / Boek Gebonden
common.buy 9.03 €
Die Wahrheit über mich - Das Fragespiel David Tripolina / Spel/speelgoed Spel
common.buy 7.63 €
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Boek Paperback
common.buy 39.79 €
Propaganda. 100 Seiten Alexandra Bleyer / Boek Paperback
common.buy 10.54 €
Potigny - au siècle des mineurs Benjamin / Boek Gebonden
common.buy 29.64 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification, Model Checking, and Abstract Interpretation
Auteur Neil D. Jones, Markus Müller-Olm
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2008
Aantal pagina's 381
EAN 9783540938996
ISBN 3540938990
Libristo-code 01571263
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 605
Afmetingen 155 x 235 x 23

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Diagram Geometry Buekenhout / Boek Paperback
common.buy 112.54 €
Writing What People Buy Anne Hart / Boek Paperback
common.buy 19.79 €
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Boek Paperback
common.buy 8.73 €
A Treatise on the Office and Duty of a Justice of the Peace, Sheriff, Coroner, Constable, and of Executors, Administrators, and Guardians: In Which Ar James Ewing / Boek Paperback
common.buy 32.25 €
Contemporary Ballet / Boek Gebonden
common.buy 36.79 €
Networking, Intelligent Systems and Security Mohamed Ben Ahmed / Boek Paperback
common.buy 255.34 €
Romance without fiction Henry Bleby / Boek Paperback
common.buy 32.75 €
In a Perfect World Trish Doller / Boek Gebonden
common.buy 17.48 €
Literature Criticism from 1400 to 1800 Gale Cengage Learning / Boek Gebonden
common.buy 607.42 €
Life and Times of General Sir Edward Cecil, Viscount Wimbledon, Colonel of an English Regiment in the Dutch Service, 1605-1631, and One of His Majesty Charles Dalton / Boek Gebonden
common.buy 39.08 €
Voordelig
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Boek Paperback
common.buy 2.50 €
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / Boek Paperback
common.buy 13.25 €
That Baby is My Brother Janice Ward Turkovich / Boek Paperback
common.buy 25.62 €
Size of My Family is Just Right for Me Jacqueline Ward Barrett / Boek Paperback
common.buy 16.77 €
Walking Words Eduardo Galeano / Boek Paperback
common.buy 21.60 €
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Boek Paperback
common.buy 17.48 €
32 Fangs: A Final Vampire Tale David Wellington / Boek Paperback
common.buy 15.87 €
The Rising Kelley Armstrong / Boek Paperback
common.buy 13.05 €
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Boek Gebonden
common.buy 51.54 €
New Testament Holiness Thomas Cook / Boek Paperback
common.buy 9.13 €
Sonic The Hedgehog Encyclo-speed-ia (deluxe Edition) Ian Flynn / Boek Gebonden
common.buy 84.40 €
Kurdish Armour Against ISIS Alaric (University of Salford Searle / Boek Paperback
common.buy 13.25 €
BLOOD$HED Part 2 Madden III Ernest Odell Madden III / Boek Paperback
common.buy 12.35 €
Metaphysical Bible Dictionary Charles Fillmore / Boek Paperback
common.buy 51.54 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?