Fourth NASA Langley Formal Methods Workshop

Fourth NASA Langley Formal Methods Workshop
Author :
Publisher :
Total Pages : 218
Release :
ISBN-10 : NASA:31769000471865
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Fourth NASA Langley Formal Methods Workshop by :

Download or read book Fourth NASA Langley Formal Methods Workshop written by and published by . This book was released on 1997 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Fourth NASA Langley Formal Methods Workshop Related Books

Fourth NASA Langley Formal Methods Workshop
Language: en
Pages: 218
Authors:
Categories: Automatic control
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK

Fourth NASA Langley Formal Methods Workshop
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

The Second NASA Formal Methods Workshop 1992
Language: en
Pages: 248
Authors:
Categories:
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

NASA Formal Methods Workshop, 1990
Language: en
Pages: 518
Authors:
Categories:
Type: BOOK - Published: 1990 - Publisher:

DOWNLOAD EBOOK

Applied Formal Methods - FM-Trends 98
Language: en
Pages: 391
Authors: Dieter Hutter
Categories: Computers
Type: BOOK - Published: 2007-07-21 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppa