Normal view MARC view ISBD view

Formal methods in systems engineering

Formal methods in systems engineering edited by Peter Ryan and Chris Sennett - New York Springer-Verlag 1993 - xi, 191p. 23cm

ISBN: 3540197516

Subjects--Topical Terms:
Digital electronics

Dewey Class. No.: 620.7 / FOR

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Indira Gandhi National Centre for the ArtsOnline Public Access Catalog

Formal methods in systems engineering

Indira Gandhi National Centre for the Arts
Online Public Access Catalog