NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16,2013.Proceedings, Lecture Notes in Computer Science 7871 – Programming and Software Engineering

ISBN:	3642380875
ISBN 13:	9783642380877
Herausgeber:	Guillaume Brat/Neha Rungta/Arnaud Venet
Verlag:	Springer Verlag GmbH
Umfang:	xxiv, 486 S., 164 s/w Illustr., 486 p. 164 illus.
Erscheinungsdatum:	17.04.2013
Auflage:	1/2013
Produktform:	Kartoniert
Einband:	KT

Artikelnummer: 4623302 Kategorie: Informatik

Beschreibung

Beschreibung

InhaltsangabeModel checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.

Autorenporträt

Das könnte Ihnen auch gefallen …

FM 2011: Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Architecture
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The NASA Mars 2020 Mission
320,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Birth of NASA
48,14 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Nicht-formale Strategien in der formalen Bildung
48,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formale Methoden und kleine Systeme
74,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Computer-Aided Design
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA and the Politics of Climate Research
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods: Foundations and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
70,61 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Human-Computer Interaction
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2014: Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integration von Prozessen mit formalen Methoden
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
90,94 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods Teaching
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods Teaching
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Systems Biology
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Outer Space
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Object Technology
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods Teaching
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2008: Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA in the World
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods for an Informal World
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Architecture
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modern Formal Methods and Applications
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods – Fun for Everybody
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Standards
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Computer-Aided Design
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2015: Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Developmental Psychology
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Web Services and Formal Methods
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Spaceflight
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2016: Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2012: Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods: Foundations and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Theory and Formal Methods 1993
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das NASA Archiv. 60 Jahre im All
100,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods: Foundations and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods: Foundations and Applications
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das große Buch der Fakten über die Nasa
9,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Systems Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Macro-Biology
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modern Formal Methods and Applications
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Web Services and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Leibniz Methode der formalen Begründung
109,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods: Foundations and Applications
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Spaceflight
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
79,17 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Policy Formulation
79,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The NASA Archives. 40th Ed.
25,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2006: Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The NASA Mars 2020 Mission
320,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2009: Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
62,05 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM’99 – Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
NASA in the World
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods: Foundations and Applications
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das NASA Archiv. 40th Ed.
25,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Teaching Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Integrated Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Industrial-Strength Formal Methods in Practice
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Architecture
165,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Nasa, Weltall und Raumfahrt
18,99 €
inkl. 19 % MwSt.

zzgl. Versandkosten
In den Warenkorb
FM 2005: Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16,2013.Proceedings, Lecture Notes in Computer Science 7871 – Programming and Software Engineering

Beschreibung

Autorenporträt

Das könnte Ihnen auch gefallen …

FM 2011: Formal Methods

Formal Methods in Architecture

Formal Methods

The NASA Mars 2020 Mission

Formal Methods and Software Engineering

Software Engineering and Formal Methods

The Birth of NASA

Nicht-formale Strategien in der formalen Bildung

NASA Formal Methods

Integrated Formal Methods

Formale Methoden und kleine Systeme

Formal Methods in Computer-Aided Design

Formal Methods and Software Engineering

Integrated Formal Methods

Formal Methods

NASA and the Politics of Climate Research

Formal Methods

Formal Methods: Foundations and Applications

NASA Formal Methods

Formal Methods in Human-Computer Interaction

FM 2014: Formal Methods

Integration von Prozessen mit formalen Methoden

NASA Formal Methods

Formal Methods Teaching

Formal Methods Teaching

Integrated Formal Methods

Integrated Formal Methods

Formal Methods in Systems Biology

NASA Formal Methods

Integrated Formal Methods

Integrated Formal Methods

Integrated Formal Methods

Formal Methods in Outer Space

Integrated Formal Methods

Formal Methods and Object Technology

Formal Methods Teaching

Integrated Formal Methods

FM 2008: Formal Methods

NASA in the World

Software Engineering and Formal Methods

NASA Formal Methods

Formal Methods for an Informal World

Formal Methods

Formal Methods in Architecture

Modern Formal Methods and Applications

Formal Methods – Fun for Everybody

Formal Methods in Standards

NASA Formal Methods

Formal Methods in Computer-Aided Design

FM 2015: Formal Methods

Formal Methods in Developmental Psychology

Web Services and Formal Methods

NASA Spaceflight

Formal Methods

FM 2016: Formal Methods

FM 2012: Formal Methods

Formal Methods: Foundations and Applications

Theory and Formal Methods 1993

Formal Methods

NASA Formal Methods

Das NASA Archiv. 60 Jahre im All

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Das große Buch der Fakten über die Nasa

Formal Methods in Systems Engineering

Formal Methods in Macro-Biology

NASA Formal Methods

Modern Formal Methods and Applications

Software Engineering and Formal Methods

Web Services and Formal Methods

Integrated Formal Methods

Leibniz Methode der formalen Begründung

NASA Formal Methods

Software Engineering and Formal Methods

Formal Methods: Foundations and Applications