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.

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek NASA Formal Methods Klaus Havelund
Libristo-code: 09225659
Uitgeverij Springer International Publishing AG, maart 2015
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Boek Gebonden (paperback)
common.buy 94.18 €
Familiae minorum gentium; Volumen 1 John William Clay / Boek Gebonden (paperback)
common.buy 38.27 €
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Boek Gebonden (harde band)
common.buy 24.91 €
Slovensko v treťom tisícročí Vladimír Bárta / Boek Gebonden (harde band)
common.buy 60.46 €
Espectro de la analogía : Literatura & ciencia / Boek Gebonden (paperback)
common.buy 23.79 €
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Boek Gebonden (paperback)
common.buy 54.38 €
La magrana de foc Morey Servera / Boek Gebonden (paperback)
common.buy 16.70 €
Teorias de la Lirica Gustavo Guerrero / Boek Gebonden (paperback)
common.buy 11.13 €
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Boek Gebonden (paperback)
common.buy 13.36 €
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Boek Gebonden (harde band)
common.buy 17.11 €
Le réchauffement climatique et ses impacts Exbalin / Boek Gebonden (paperback)
common.buy 29.87 €
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Boek Gebonden (paperback)
common.buy 12.75 €
Oeuvres Tome 3 Moliere / Boek Gebonden (paperback)
common.buy 31.19 €
Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac / Boek Gebonden (paperback)
common.buy 44.15 €
Césped, diseño, instalación y cuidado Beretta / Boek Gebonden (paperback)
common.buy 7.28 €
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Boek Gebonden (harde band)
common.buy 268.19 €

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2014, held in Pasadena, CA, USA, April 27-29, 2015.§The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

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 NASA Formal Methods
Auteur Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 458
EAN 9783319175232
ISBN 3319175238
Libristo-code 09225659
Uitgeverij Springer International Publishing AG
Gewicht 718
Afmetingen 155 x 235 x 26

Categorieën

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 > Besturingssystemen
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

TOP
This Is Fine Talking Figurine KC Green / Spel/speelgoed Speelgoed
common.buy 12.45 €
Myeloid Leukemia Harry Iland / Boek Gebonden (paperback)
common.buy 146.14 €
Wordt verwacht
Pathfinder Player Companion: Varisia, Birthplace of Legends F Wesley Schneider / Boek Gebonden (paperback)
common.buy 10.62 €
Brain Games Book for Kids Speedy Publishing LLC / Boek Gebonden (paperback)
common.buy 12.85 €
The Wrong Side of Goodbye Michael Connelly / Boek Gebonden (paperback)
common.buy 17.92 €
In One Town Edmund Downey / Boek Gebonden (paperback)
common.buy 19.74 €
Everybody Likes Pizza Andy Mason / Boek Gebonden (paperback)
common.buy 10.32 €
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Boek Gebonden (paperback)
common.buy 27.23 €
Child and Adolescent Psychotherapy Stephen Hupp / Boek Gebonden (paperback)
common.buy 99.96 €
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Boek Gebonden (harde band)
common.buy 29.77 €
Designed for Destiny - Guide Linda Santangelo / Boek Gebonden (paperback)
common.buy 13.06 €
Power Shifts Foltz Dr. Howard Foltz / Boek Gebonden (paperback)
common.buy 10.62 €
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Boek Gebonden (paperback)
common.buy 12.14 €
Great Mongol Shahnama Robert Hillenbrand / Boek Gebonden (harde band)
common.buy 197.90 €
Gates of Anubis Kylie Quillinan / Boek Gebonden (paperback)
common.buy 16.60 €
Mediterranean and Middle East 1941-1945 Atlas Official Records / Boek Gebonden (paperback)
common.buy 54.48 €
Praxis Core Math Study Guide Reza Nazari / Boek Gebonden (paperback)
common.buy 19.33 €
Aquatic Insects: Behavior and Ecology Kleber Del-Claro / Boek Gebonden (paperback)
common.buy 257.35 €
DK Super Readers Level 3 DC Supergirl Girl of Steel Ruth Amos / Boek Gebonden (paperback)
common.buy 5.97 €
An Exposition of the Epistles of St. Paul John MacEvilly / Boek Gebonden (harde band)
common.buy 39.29 €
The Red-Cross Alliance At Sea (1871) Jan Helenus Ferguson / Boek Gebonden (harde band)
common.buy 34.53 €
Ikarus Deon Meyer / Boek Gebonden (paperback)
common.buy 20.35 €
Bookkeeping Ledger Speedy Publishing LLC / Boek Gebonden (paperback)
common.buy 13.56 €
Rationality for Mortals Gerd Gigerenzer / Boek Gebonden (harde band)
common.buy 102.69 €

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?