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.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657772
Price: 57.79 EUR
Availability: InStock
Author: Mihaela Bobaru
ISBN: 9783642203978

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 01657772

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2011

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal M... Vollständige Beschreibung

Libristo-Code: 01657772

141 b

57.79 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Janičiarka Hana Košková

Hardcover

10.09 €

Abfindungs-Caps fur Vorstandsmitglieder im deutschen Recht Philipp Jakobus

Broschur

39.99 €

Gottes Annehmerin Leopold Kompert

Broschur

8.90 €

Mathematik 4. Klasse Sven Ludwig

Broschur

16.00 €

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. §The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verifcation techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.

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 Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 534

EAN 9783642203978

ISBN 3642203973

Libristo-Code 01657772

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 836

Abmessungen 155 x 235 x 30

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