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.

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

Tot 30 dagen retourrecht

Klanten kochten ook

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann / Boek Gebonden (paperback)
common.buy 103.32 €
Espectro de la analogía : Literatura & ciencia / Boek Gebonden (paperback)
common.buy 23.73 €
Аэлита. Гиперболоид инженера Гарина Алексей Толстой / Boek Gebonden (harde band)
common.buy 23.53 €
Familiae minorum gentium; Volumen 1 John William Clay / Boek Gebonden (paperback)
common.buy 38.17 €
TOP
Cay Koy Yeniden Basliyoruz / Boek Gebonden (paperback)
common.buy 13.12 €
Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier / Boek Gebonden (paperback)
common.buy 14.64 €
??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers / E-book Adobe ePub DRM
common.buy 9.89 €
Entangled Networks of Semiflexible Polymers Hinsch Hauke / Boek Gebonden (paperback)
common.buy 47.97 €
Teorias de la Lirica Gustavo Guerrero / Boek Gebonden (paperback)
common.buy 11.10 €
La construcción de los interrogatorios desde la teoría del caso Benavente Chorres / Boek Gebonden (paperback)
common.buy 54.33 €
Salvia Divinorum Jochen Gartz / Boek Gebonden (paperback)
common.buy 10.90 €
Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre / Boek Gebonden (paperback)
common.buy 12.72 €
Oeuvres Tome 3 Moliere / Boek Gebonden (paperback)
common.buy 31.10 €
Slovensko v treťom tisícročí Vladimír Bárta / Boek Gebonden (harde band)
common.buy 60.50 €
Diabeł tasmański / Spel/speelgoed Speelgoed
common.buy 5.04 €
Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen / Boek Gebonden (paperback)
common.buy 13.53 €
Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy / Boek Gebonden (harde band)
common.buy 16.86 €
Le réchauffement climatique et ses impacts Exbalin / Boek Gebonden (paperback)
common.buy 29.59 €
La magrana de foc Morey Servera / Boek Gebonden (paperback)
common.buy 16.66 €
Index of North and South American Constitutions 1850 to 2007 Horst Dippel / Boek Gebonden (harde band)
common.buy 267.47 €
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.03 €
Magorie Šarközi / Audio Audio cd
common.buy 5.34 €

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 13.83 €
Teach My Hands to War 7 Day Experience: Suiting Up In The Armor of God Tawanna Green / Boek Gebonden (paperback)
common.buy 12.11 €
Papers of the American School of Classical Studies at Athens Archaeological Institute of America / Boek Gebonden (paperback)
common.buy 25.04 €
Power Shifts Foltz Dr. Howard Foltz / Boek Gebonden (paperback)
common.buy 10.60 €
Do the F*cking Work Brian Buirge / Boek Gebonden (harde band)
common.buy 21.20 €
Designed for Destiny - Guide Linda Santangelo / Boek Gebonden (paperback)
common.buy 13.02 €
Collection of Scots Proverbs, ... By Allan Ramsay ALLAN RAMSAY / Boek Gebonden (harde band)
common.buy 29.69 €
Child and Adolescent Psychotherapy Stephen Hupp / Boek Gebonden (paperback)
common.buy 99.69 €
Great Mongol Shahnama Robert Hillenbrand / Boek Gebonden (harde band)
common.buy 165.65 €
Death's Twilight Kingdom: The Secret World of U.S. Nuclear Weapon 'Design Data Yogi Shan / Boek Gebonden (paperback)
common.buy 27.16 €
Everybody Likes Pizza Andy Mason / Boek Gebonden (paperback)
common.buy 10.29 €
American Legends: The Life of Paul Newman Charles River Editors / Boek Gebonden (paperback)
common.buy 8.68 €
In One Town Edmund Downey / Boek Gebonden (paperback)
common.buy 19.69 €
Pastor and the Painter Cindy Wockner / Boek Gebonden (paperback)
common.buy 20.60 €
The Wrong Side of Goodbye Michael Connelly / Boek Gebonden (paperback)
common.buy 17.57 €
Miscellanies Volume 3 Francis William Newman / Boek Gebonden (harde band)
common.buy 39.18 €
Stashbuster Knits Melissa Leapman / E-book Adobe ePub DRM
common.buy 6.25 €
Nieuw
Proteomic Applications in Virology Timothy Daniel Veenstra / E-book Adobe ePub DRM
common.buy 188.07 €
Enhancing Renewable Energy Systems With Generative AI Abhishek Kumar / Boek Gebonden (harde band)
common.buy 274.34 €
The Forward Book of Poetry 2026 Various Poets / Boek Gebonden (paperback)
common.buy 10.80 €
Voordelig
Making Space Jane Hall / Boek Gebonden (harde band)
common.buy 32.31 €
Cold Shot Blair Denholm / Boek Gebonden (paperback)
common.buy 15.75 €
Political Myths in History Textbooks Venken Machteld Venken / E-book Adobe ePub DRM
common.buy 56.15 €
An Exposition of the Epistles of St. Paul John MacEvilly / Boek Gebonden (harde band)
common.buy 39.18 €

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?