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.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Taal EngelsEngels
Boek Paperback
Boek Verified Software: Theories, Tools, and Experiments Arie Gurfinkel
Libristo-code: 02896192
Uitgeverij Springer International Publishing AG, januari 2016
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Volledige beschrijving
? points 125 b
51.51 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Boek Paperback
common.buy 22.37 €
Hyundai Lantra/Elantra 1996 - 2006 Larry Warren / Boek Paperback
common.buy 30.44 €
Dolepovačky Pohádkové princezny/Rozprávkové princezné / Boek Paperback
common.buy 3.62 €
Woodwalkers - der Film. Geschichten und Geheimnisse vom Dreh Katja Brandis / Boek Gebonden
common.buy 11.89 €
Energía y civilización. Una historia Vaclav Smil / Boek Paperback
common.buy 23.48 €
Звезда под странной луной Констанс Сэйерс / Boek Gebonden
common.buy 21.77 €
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Boek Paperback
common.buy 48.79 €
Autant en emporte le vent Tarditi / Boek Boek
common.buy 25.20 €
Mężczyzna z przeszłości T.L. Swan / Boek Paperback
common.buy 10.07 €
Al tuo fianco. Le consulenze e la valutazione nel Writing and Reading Workshop Elisa Golinelli / Boek Paperback
common.buy 23.89 €
Attività antitumorale e antielmintica di Dactyloctenium aegyptium Santhi Ramalingam / Boek Paperback
common.buy 54.13 €
Guide du Routard Milan et ses environs 2025/26 / Boek Paperback
common.buy 14.31 €
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Boek Boek
common.buy 145.98 €
Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A / Boek Paperback
common.buy 15.92 €
Kruh věčných návratů Karel Naxera / Boek Paperback
common.buy 8.36 €
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Boek Paperback
common.buy 11.69 €
Motýli a jejich půvab Ivo Novák / Boek Gebonden
common.buy 21.47 €
Voordelig
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Boek Paperback
common.buy 7.96 €
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Boek Blad
common.buy 7.85 €
Die Zeitung in der Republik. Thomas Koch / Boek Paperback
common.buy 94.97 €
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Boek Paperback
common.buy 13.30 €
Histoire d'Un Morceau de Charbon Hement-E / Boek Paperback
common.buy 19.45 €
Servante Insoumise(la) Jane Harris / Boek Paperback
common.buy 10.37 €
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Boek Paperback
common.buy 45.86 €

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

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 Verified Software: Theories, Tools, and Experiments
Auteur Arie Gurfinkel, Seshia Sanjit
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2016
Aantal pagina's 223
EAN 9783319296128
ISBN 3319296124
Libristo-code 02896192
Uitgeverij Springer International Publishing AG
Gewicht 3635
Afmetingen 155 x 235 x 14

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
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
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

Understanding the Science of Climate Change: Talking Points- Impacts to the Great Lakes Amanda Schramm / Boek Paperback
common.buy 12.79 €
Central Asian Revolt of 1916 Alexander Morrison / Boek Gebonden
common.buy 113.52 €
Code of Federal Regulations, Title 29, Labor, Pt. 500-899, Revised as of July 1, 2017 National Archives and Records Administra / Boek Paperback
common.buy 68.98 €
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Boek Gebonden
common.buy 20.76 €
Secret History of Magic Peter Lamont / Boek Gebonden
common.buy 22.37 €
Punk Crisis Raymond Patton / Boek Paperback
common.buy 46.17 €
No Turning Back: From Addiction to Dance Norma Fowler / Boek Paperback
common.buy 8.76 €
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Boek Paperback
common.buy 9.67 €
Four Perfects and Standardized Testing JOHN M. LAVERTY / Boek Paperback
common.buy 29.63 €
Inside the JBuilder OpenTools API Keith Wood / Boek Paperback
common.buy 47.38 €
Hebrews and the General Epistles Kevin Anderson / Boek Paperback
common.buy 18.04 €
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Boek Paperback
common.buy 15.21 €
For The Life Of The World David Bentley Hart / Boek Paperback
common.buy 20.76 €
TOP
Birds of Japan BRAZIL MARK / Boek Paperback
common.buy 34.98 €
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Boek Gebonden
common.buy 34.27 €
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Boek Paperback
common.buy 82.26 €
Forest Hills Cemetery Anthony Mitchell Sammarco / Boek Gebonden
common.buy 25.20 €
An Interloper: A Novel (1894) Frances Mary Peard / Boek Paperback
common.buy 33.36 €
TOP
This is Going to Hurt Adam Kay / Boek Paperback
common.buy 10.78 €
A Child's Garden of Verses Robert Louis Stevenson / Boek Paperback
common.buy 10.17 €
Fundamentals of Human Resource Management, Fourteenth Edition Susan L. Verhulst / Boek Paperback
common.buy 130.66 €
Changing World and Africa Chunying An / Boek Gebonden
common.buy 148.30 €
Beautifully Broken J.A. Owenby / Boek Paperback
common.buy 15.42 €
Voordelig
Riding Shotgun Russ Gibbs / Boek Paperback
common.buy 1.60 €

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?