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

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Ranjit Jhala
Libristo-code: 01657327
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2011
This book constitutes the refereed proceedings of the 12th International Conference on Verification,... Volledige beschrijving
? points 145 b
59.94 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

Avatar: Don'T Go In The Forest Avatar / Audio Audio cd
common.buy 18.86 €
Geschichte des deutschen Volkes seit dem Ausgang des Mittelalters Johannes Janssen / Boek Gebonden (paperback)
common.buy 79.82 €
Annie e Robert e il naufragio del Titanic Rino Fruttini / Boek Gebonden (paperback)
common.buy 16.24 €
«Et fu fatta grande festa». Le nozze di Giampaolo Baglioni. Cronaca di una congiura. Le «nozze di sangue» di Astorre Baglioni Alberto Maria Sartore / Boek Gebonden (paperback)
common.buy 22.60 €
Über Die Einheit Des Menschengeschlechtes Und Den Naturzustand Der Menschen Theodor Waitz / Boek Gebonden (harde band)
common.buy 39.15 €
Adab Kitabi imam-i Gazali / Boek Gebonden (paperback)
common.buy 10.18 €
Buz Kapani Glenn Meade / Boek Gebonden (paperback)
common.buy 17.15 €
Weltwasserforum in Istanbul A Schneider / Boek Gebonden (paperback)
common.buy 12.61 €
Elements de l'Histoire Naturelle Des Animaux. Partie 1 (Ed.1882) Alphonse Milne-Edwards / Boek Gebonden (paperback)
common.buy 27.95 €

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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 Ranjit Jhala, David Schmidt
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 419
EAN 9783642182747
ISBN 3642182747
Libristo-code 01657327
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 648
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 > 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

Wordt verwacht
Supernatural - Nevermore Keith R. A. DeCandido / Boek Gebonden (paperback)
common.buy 11.50 €
Cambridge Companion to European Modernism Pericles Lewis / Boek Gebonden (paperback)
common.buy 36.12 €
Psychology for the Third Millennium Rom Harre / Boek Gebonden (harde band)
common.buy 143.11 €
Adulteress Noelle Harrison / Boek Gebonden (paperback)
common.buy 23.20 €
Semantics of Complex Words Laurie Bauer / Boek Gebonden (harde band)
common.buy 102.73 €
Third Heaven and The Millennial Reign Edward McDonald / Boek Gebonden (paperback)
common.buy 15.33 €
Calhoun County George Anne Cormier / Boek Gebonden (harde band)
common.buy 24.52 €
NCAA Volleyball History: Coaches, Players, Personalities & Teams Michael J Sondheimer / Boek Gebonden (paperback)
common.buy 19.37 €
The Great Book-Collectors Charles Isaac Elton / Boek Gebonden (harde band)
common.buy 40.97 €

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?