Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 09225659
Price: 53.79 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783319175232

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

Klaus Havelund

Gerard Holzmann

Rajeev Joshi

Sprache

Englisch

Buch Broschur

Libristo-Code: 09225659

Verlag Springer International Publishing AG, März 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Vollständige Beschreibung

Libristo-Code: 09225659

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann

Broschur

99.90 €

Familiae minorum gentium; Volumen 1 John William Clay

Broschur

39.69 €

Аэлита. Гиперболоид инженера Гарина Алексей Толстой

Hardcover

25.89 €

Slovensko v treťom tisícročí Vladimír Bárta

Hardcover

64.79 €

Espectro de la analogía : Literatura & ciencia

Broschur

24.49 €

La construcción de los interrogatorios desde la teoría del caso Benavente Chorres

Broschur

56.09 €

La magrana de foc Morey Servera

Broschur

17.19 €

Teorias de la Lirica Gustavo Guerrero

Broschur

11.49 €

Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen

Broschur

13.19 €

Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy

Hardcover

17.69 €

Le réchauffement climatique et ses impacts Exbalin

Broschur

30.79 €

Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre

Broschur

13.19 €

Oeuvres Tome 3 Moliere

Broschur

32.29 €

Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac

Broschur

45.49 €

Césped, diseño, instalación y cuidado Beretta

Broschur

7.49 €

Index of North and South American Constitutions 1850 to 2007 Horst Dippel

Hardcover

278.69 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name NASA Formal Methods

Autor Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 458

EAN 9783319175232

ISBN 3319175238

Libristo-Code 09225659

Verlag Springer International Publishing AG

Gewicht 718

Abmessungen 155 x 235 x 26

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert