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

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Libristo-code: 02340914
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Boek Gebonden (paperback)
common.buy 19.29 €
Hexen und Magie Johannes Dillinger / Boek Gebonden (paperback)
common.buy 23.74 €
Je ne veux pas mourir idiot Georges Wolinski / Boek Gebonden (paperback)
common.buy 13.13 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Kenneth McMillan, Xavier Rival
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 493
EAN 9783642540127
ISBN 3642540120
Libristo-code 02340914
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 7664
Afmetingen 155 x 235 x 28

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

Subnational Population Estimates David A. Swanson / Boek Gebonden (harde band)
common.buy 184.92 €
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Boek Gebonden (paperback)
common.buy 19.29 €
Human Experiment David Carmichael / Boek Gebonden (harde band)
common.buy 183.91 €
TOP
History of Judaism Martin Goodman / Boek Gebonden (paperback)
common.buy 17.78 €
Follow Me Adult Colouring Book Esther Pincini / Boek Gebonden (paperback)
common.buy 13.83 €
Spatial Modeling Principles in Earth Sciences Zekai Sen / Boek Gebonden (paperback)
common.buy 154.20 €
Naturalizations of Mexican Americans John P Schmal / Boek Gebonden (paperback)
common.buy 36.77 €
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Boek Gebonden (paperback)
common.buy 43.75 €
Perfect Pet for Peyton Mr Rick Osborne / Boek Gebonden (harde band)
common.buy 14.24 €
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Boek Gebonden (paperback)
common.buy 194.62 €
Anecdotal Theory Jane Gallop / Boek Gebonden (paperback)
common.buy 34.75 €
Atlas of Rectal Endosonography John Beynon / Boek Gebonden (paperback)
common.buy 51.63 €
New Directions in Wireless Communications Research Vahid Tarokh / Boek Gebonden (harde band)
common.buy 183.40 €

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