Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

View on Open Library

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

by Klaus Havelund

No reviews yet

First published: 2011 ISBN: 9783642203978

Subjects

Logic design Computer science Software engineering Operating systems (Computers) Computer software, development Fault-tolerant computing System design System analysis Automatic control Programming Techniques

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Klaus Havelund

NASA Formal Methods

NASA Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Model Checking Software

Model Checking Software

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing an...

SPIN Model Checking and Software Verification

SPIN Model Checking and Software Verific...

Formal Methods

You Might Also Like

More in Logic design

Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)

The Logic of Scientific Discovery

The Logic of Scientific Discovery

Karl Popper

Digital Design

John F. Wakerly

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek

How computers work

How computers work

Ron White

Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev