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

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.47 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

ESTHETIQUE MUSICALE Dubet / Boek Gebonden (paperback)
common.buy 18.43 €
Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Boek Gebonden (paperback)
common.buy 31.52 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Boek Gebonden (paperback)
common.buy 6.44 €
Seny i sentiment Jane Austen / Boek Gebonden (harde band)
common.buy 25.88 €
Tutto Diego. Maradona minuto per minuto Stefano De Cristofaro / Boek Gebonden (paperback)
common.buy 22.66 €
Gallery of Prints and Drawings - English version Florian Siffer / Boek Gebonden (paperback)
common.buy 12.08 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Spel/speelgoed Spel
common.buy 24.67 €
Bewusstsein unabhangig vom Gehirn Siegfried Schumann / E-book Adobe ePub DRM
common.buy 39.98 €
Mapa National Europa 2021 / Drukwerk Kaart
common.buy 13.19 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Boek Gebonden (paperback)
common.buy 31.92 €
Les sept secrets d'Esther Wilding Holly Ringland / Boek Gebonden (paperback)
common.buy 30.21 €
Edelweiss Ronnie J. C. / Boek Gebonden (paperback)
common.buy 13.69 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio cd
common.buy 18.02 €
Tokyo Revengers 12 Ken Wakui / Boek Gebonden (paperback)
common.buy 8.05 €
Advanced Gun System Mariam T. Tennoe / Boek Gebonden (paperback)
common.buy 102.75 €
Commune en France Edgar Morin / Boek Gebonden (paperback)
common.buy 14.50 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Boek Gebonden (paperback)
common.buy 30.62 €
Špion, který přišel pozdě Terje B. Englund / Boek Gebonden (paperback)
common.buy 12.38 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Boek Gebonden (paperback)
common.buy 108.89 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Boek Gebonden (paperback)
common.buy 47.84 €
Antología poética Pedro Salinas / Boek Gebonden (paperback)
common.buy 13.89 €
Arte de proyectar en arquitectura Ernst Neufert / Boek Gebonden (paperback)
common.buy 66.38 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Boek Gebonden (paperback)
common.buy 18.63 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Boek Gebonden (paperback)
common.buy 29.31 €

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

Our Nation in Decline Tom Hopper / Boek Gebonden (paperback)
common.buy 6.74 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Boek Gebonden (harde band)
common.buy 31.52 €
Laughable Loves Milan Kundera / Boek Gebonden (paperback)
common.buy 15.00 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Boek Gebonden (paperback)
common.buy 19.63 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Boek Gebonden (harde band)
common.buy 128.84 €
ANNUAL REPORT OF THE BOSTON TRANSIT COMM BOSTON TRANSIT COMMI / Boek Gebonden (harde band)
common.buy 31.52 €
The House of the Dead: Siberian Exile Under the Tsars Daniel Beer / Boek Gebonden (paperback)
common.buy 17.12 €
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.50 €
A Dark Presence John McKay / Boek Gebonden (paperback)
common.buy 6.94 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Boek Gebonden (harde band)
common.buy 153.72 €
Jacob: Encounters with the Holy Spirit Arthur Perkins / Boek Gebonden (paperback)
common.buy 14.80 €
Persian Carpets Minoo Moallem / Boek Gebonden (paperback)
common.buy 62.55 €
International Yearbook of Industrial Statistics 2018 UNIDO / Boek Gebonden (harde band)
common.buy 385.42 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Boek Gebonden (harde band)
common.buy 13.49 €
Yoga Sutras of Patanjali PATANJALI / Boek Gebonden (paperback)
common.buy 6.94 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Boek Gebonden (harde band)
common.buy 102.64 €
Maat and Ancient Egyptian Magic Mari Silva / Boek Gebonden (harde band)
common.buy 24.47 €
Fanatism Dr Samar / Boek Gebonden (paperback)
common.buy 15.10 €
Reverse Engineering of Object Oriented Code Paolo Tonella / Boek Gebonden (paperback)
common.buy 102.54 €
Understanding Blackness through Performance Anne Cremieux / Boek Gebonden (harde band)
common.buy 74.24 €
Desire for Society H. G. Furth / Boek Gebonden (harde band)
common.buy 102.54 €
Myth of Liberal Ascendancy G Williams Domhoff / Boek Gebonden (paperback)
common.buy 59.43 €
Comparative Constitutional Design Tom Ginsburg / Boek Gebonden (paperback)
common.buy 63.66 €
Night Before Christmas Clement C Moore & Corinne Malvern / Boek Leporello (harmonicaboek)
common.buy 6.94 €

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?