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.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
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 Gebonden (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.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Boek Gebonden (paperback)
common.buy 33.01 €
Geheime Liebe auf Sylt Gabriele Diechler / Boek Gebonden (paperback)
common.buy 11.54 €
Pověsti Čech, Moravy a Slezska August Sedláček / Boek Gebonden (harde band)
common.buy 9.11 €
Tantrická masáž Kalashatra Govinda / Boek Gebonden (harde band)
common.buy 19.03 €
Neumírej před smrtí Jevgenij Jevtušenko / Boek binding.
common.buy 9.00 €
Death note. Short stories Tsugumi Ohba / Boek Gebonden (paperback)
common.buy 9.00 €
Anekdòt -2 Bob Lapierre / Boek Gebonden (paperback)
common.buy 41.31 €
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Boek Gebonden (paperback)
common.buy 29.77 €
Quer durch Athen Petros Markaris / Boek Gebonden (paperback)
common.buy 10.93 €
Potigny - au siècle des mineurs Benjamin / Boek Gebonden (harde band)
common.buy 31.08 €
Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck / Boek Gebonden (paperback)
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 / Boek Gebonden (paperback)
common.buy 14.78 €
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Boek Gebonden (paperback)
common.buy 78.28 €
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Boek Gebonden (paperback)
common.buy 40.20 €
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Boek Gebonden (paperback)
common.buy 62.68 €
Wordt verwacht
Das Orakel vom Berge Philip K. Dick / Boek Gebonden (paperback)
common.buy 9.11 €
Quantifizierung Operationeller Risiken Christian Bohlender / Boek Gebonden (paperback)
common.buy 52.66 €
Die Wahrheit über mich - Das Fragespiel David Tripolina / Spel/speelgoed Spel
common.buy 7.69 €
Processus d'Impression Textiles Zouhaier Romdhani / Boek Gebonden (paperback)
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.

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

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?