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

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

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

Retourneren binnen 30 dagen

Klanten kochten ook

Kein Makel um die Liberator Emmerich Nilson / Boek Gebonden (paperback)
common.buy 6.77 €
Verteidigung als Angriff Michael Multhammer / Boek Gebonden (harde band)
common.buy 153.07 €
Modernitat ALS Paradox Birgit Hoock / Boek Gebonden (harde band)
common.buy 119.18 €
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Boek Gebonden (paperback)
common.buy 13.65 €
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Boek Gebonden (paperback)
common.buy 57.86 €
Je m'habille - a.telier, emanuela collini Xxxxxxx Boek Boek
common.buy 6.26 €
Gruzínština konverzace collegium / Boek Gebonden (paperback)
common.buy 10.82 €
Gastronomie českého středověku Monika Černá-Feyfrlíková / Boek Gebonden (paperback)
common.buy 15.17 €
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Boek Gebonden (harde band)
common.buy 44.81 €

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical 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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 468
EAN 9783662460801
ISBN 3662460807
Libristo-code 09136925
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 7314
Afmetingen 155 x 235 x 25

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
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 > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Migrant Passage Noelle Kateri Brigden / Boek Gebonden (harde band)
common.buy 165.52 €
Alien Zone II Rick Kuhn / Boek Gebonden (paperback)
common.buy 29.13 €
Prosecuting Maritime Piracy Michael P. Scharf / E-book Adobe ePub DRM
common.buy 58.77 €
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Boek Gebonden (harde band)
common.buy 26.90 €
Society, Institutions, and Individuals David G Embrick / Boek Gebonden (paperback)
common.buy 151.66 €
What's What in America Eugene V. Brewster / Boek Gebonden (paperback)
common.buy 22.55 €
Flight of the Valkyrie K S Daniels / Boek Gebonden (paperback)
common.buy 13.04 €
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Boek Gebonden (paperback)
common.buy 9.70 €
Annabelle's Reading Log Martha Day Zschock / Boek Gebonden (harde band)
common.buy 15.77 €
New Wine T a Prickett / Boek Gebonden (paperback)
common.buy 13.35 €
West Dorset Guide Book / Boek Gebonden (paperback)
common.buy 8.08 €
Political History of Spanish José Del Valle / Boek Gebonden (paperback)
common.buy 56.04 €
Modern Leadership Development and Excellence DR.S.K. BABOOA / Boek Gebonden (paperback)
common.buy 16.58 €
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Boek Gebonden (paperback)
common.buy 16.28 €
Just Solution Stephen Yearwood / Boek Gebonden (paperback)
common.buy 14.76 €
Two Days of Doubt Cort / Boek Gebonden (paperback)
common.buy 13.55 €

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