Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch NASA Formal Methods Alwyn Goodloe
Libristo-Code: 01660738
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2012
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal... Vollständige Beschreibung
? points 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

Cuentos de la filosofía griega : Platón, hablando de Sócrates Mercedes Aguirre / Buch Broschur
common.buy 17.39 €
Uso de las ciclovías como un recurso turístico Anabel Monserrate / Buch Broschur
common.buy 60.59 €
La traduzione e il linguaggio nelle guide turistiche Giorgia Bestagno / Buch Broschur
common.buy 33.59 €
mon chemin vers compostelle Joëlle Thibaud / Buch Broschur
common.buy 10.49 €
AElpler Peter Rosegger / Buch Broschur
common.buy 44.50 €
Checkliste Anästhesie Gernot Marx / Buch binding.
common.buy 77.79 €
Nachhaltige Kapitalanlagen Boris Neumann / Buch Broschur
common.buy 58.00 €
WAS IST WAS Mission im Weltraum Sarah Konrad / Buch Hardcover
common.buy 16.95 €
Shakara Fela Kuti Audio Audio Vinyl
common.buy 33.49 €

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. §The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification 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
Ewa Kasp
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 Alwyn Goodloe, Suzette Person
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 466
EAN 9783642288906
ISBN 3642288901
Libristo-Code 01660738
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 721
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 > 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

Das könnte Sie auch interessieren

Quantum Potential: Physics, Geometry and Algebra Ignazio Licata / Buch Broschur
common.buy 53.79 €
Field Guide to Covering Local News Fred Bayles / Buch Ring
common.buy 45.39 €
Beast Quest: Draka the Winged Serpent Adam Blade / Buch Broschur
common.buy 9.49 €
Towards Belonging Andrew Briggs / Buch Hardcover
common.buy 194.39 €
The Advanced Options Trading Guide: The Best Complete Guide for Earning Income With Options Trading, Learn Secret Investment Strategies for Investing Neil Sharp / Buch Broschur
common.buy 14.49 €
An Inquiry Into the Nature of Peace and the Terms of Its Perpetuation Thorstein Veblen / Buch Broschur
common.buy 10.09 €
Online Dating Profiles: What Are They Really Telling You? Kady Knutz / Buch Broschur
common.buy 20.09 €
Tattva-chintamani by Gangesa Upadhyaya; With Extracts From the Commentaries of Mathuranatha Tarkavagisa and of Jayadeva Misra. Edited by Kamakhyanath 13th Cent Gangesa / Buch Hardcover
common.buy 42.59 €
Blue Sabine Gerald Duff / Buch Broschur
common.buy 17.79 €
Nationalisms: The Nation-State and Nationalism in the Twentieth Century Montserrat Guibernau / Buch Broschur
common.buy 26.99 €
To Kill A Mockingbird Harper Lee / Audio Audio CD
common.buy 22.59 €
Optimization Methods in Electromagnetic Radiation Thomas S. Angell / Buch Hardcover
common.buy 118.29 €
God's Indemnity Dr Cheryl Williams / Buch Broschur
common.buy 17.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?