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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Libristo-code: 02862913
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Boek Gebonden (paperback)
common.buy 31.59 €
ESTHETIQUE MUSICALE Dubet / Boek Gebonden (paperback)
common.buy 19.48 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Spel/speelgoed Spel
common.buy 24.73 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Boek Gebonden (paperback)
common.buy 6.55 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Boek Gebonden (paperback)
common.buy 30.68 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio cd
common.buy 18.06 €
Edelweiss Ronnie J. C. / Boek Gebonden (paperback)
common.buy 13.72 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Boek Gebonden (paperback)
common.buy 109.14 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Boek Gebonden (paperback)
common.buy 18.67 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Boek Gebonden (paperback)
common.buy 32.91 €
Antología poética Pedro Salinas / Boek Gebonden (paperback)
common.buy 14.02 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Boek Gebonden (paperback)
common.buy 32.00 €
Most přes řeku Styx Quirin Jedlička / Boek Gebonden (paperback)
common.buy 7.16 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Boek Gebonden (paperback)
common.buy 29.37 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Boek Gebonden (paperback)
common.buy 45.83 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides 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 Barbara Jobstmann, K. Rustan M. Leino
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 558
EAN 9783662491218
ISBN 3662491214
Libristo-code 02862913
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 866
Afmetingen 155 x 235 x 30

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
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 > 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

Desire for Society H. G. Furth / Boek Gebonden (harde band)
common.buy 102.78 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Boek Gebonden (harde band)
common.buy 15.74 €
International Yearbook of Industrial Statistics 2018 UNIDO / Boek Gebonden (harde band)
common.buy 386.50 €
Our Nation in Decline Tom Hopper / Boek Gebonden (paperback)
common.buy 6.75 €
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Boek Gebonden (paperback)
common.buy 15.54 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Boek Gebonden (harde band)
common.buy 102.88 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Boek Gebonden (harde band)
common.buy 129.13 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Boek Gebonden (paperback)
common.buy 19.68 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Boek Gebonden (harde band)
common.buy 31.59 €
Fanatism Dr Samar / Boek Gebonden (paperback)
common.buy 16.25 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Boek Gebonden (harde band)
common.buy 37.25 €
Storytelling Phebe Cramer / Boek Gebonden (harde band)
common.buy 94.60 €
Retreat to the Reich Samuel W. Mitcham / Boek Gebonden (paperback)
common.buy 16.65 €
Visit to the Farm Michael Morpurgo / Boek Gebonden (paperback)
common.buy 9.48 €
Maat and Ancient Egyptian Magic Mari Silva / Boek Gebonden (harde band)
common.buy 24.53 €
Wordt verwacht
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Boek Gebonden (paperback)
common.buy 13.01 €
The Awful German Language Mark Twain / Boek Gebonden (harde band)
common.buy 13.12 €
Night Before Christmas Clement C Moore & Corinne Malvern / Boek Leporello (harmonicaboek)
common.buy 6.96 €
Myth of Liberal Ascendancy G Williams Domhoff / Boek Gebonden (paperback)
common.buy 56.43 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Boek Gebonden (harde band)
common.buy 154.07 €
Comparative Constitutional Design Tom Ginsburg / Boek Gebonden (paperback)
common.buy 63.80 €

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?