The Second NASA Formal Methods Workshop 1992

Author	:
Publisher	:
Total Pages	: 248
Release	: 1992
ISBN-10	: NASA:31769000472806
ISBN-13	:
Rating	: 4/5 (06 Downloads)

DOWNLOAD EBOOK

Book Synopsis The Second NASA Formal Methods Workshop 1992 by :

Download or read book The Second NASA Formal Methods Workshop 1992 written by and published by . This book was released on 1992 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:

The Second NASA Formal Methods Workshop 1992 Related Books

Language: en
Pages: 248

The Second NASA Formal Methods Workshop 1992

Authors:

Categories:

Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 440

Scientific and Technical Aerospace Reports

Authors:

Categories: Aeronautics

Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 1068

Monthly Catalog of United States Government Publications

Authors: United States. Superintendent of Documents

Categories: Government publications

Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depo

Language: en
Pages: 287

Logical Reasoning with Diagrams

Authors: Gerard Allwein

Categories: Knowledge representation (Information theory).

Type: BOOK - Published: 1996 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

Information technology has lead to an increasing need to present information visually. This volume addresses the logical aspects of the visualization of informa

Language: en
Pages: 504

NASA Formal Methods

Authors: Guillaume Brat

Categories: Computers

Type: BOOK - Published: 2013-05-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013.