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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 09225659
Price: 51.65 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

125 b

51.65 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

103.41 €

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

Broschur

49.22 €

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

Hardcover

23.44 €

Familiae minorum gentium; Volumen 1 John William Clay

Broschur

40.12 €

Cay Koy Yeniden Basliyoruz

Broschur

13.13 €

Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier

Broschur

14.65 €

??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers

Adobe ePub DRM

9.90 €

Espectro de la analogía : Literatura & ciencia

Broschur

21.42 €

Teorias de la Lirica Gustavo Guerrero

Broschur

9.90 €

Entangled Networks of Semiflexible Polymers Hinsch Hauke

Broschur

48.01 €

Salvia Divinorum Jochen Gartz

Broschur

10.91 €

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

Broschur

45.99 €

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

Broschur

13.33 €

Oeuvres Tome 3 Moliere

Broschur

32.64 €

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

Hardcover

60.44 €

Diabeł tasmański

Spielzeug

5.04 €

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

Broschur

14.45 €

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

Hardcover

16.87 €

Le réchauffement climatique et ses impacts Exbalin

Broschur

29.61 €

La magrana de foc Morey Servera

Broschur

14.95 €

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

Hardcover

267.69 €

Magorie Šarközi

Audio CD

5.35 €

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