Normal view MARC view ISBD view

Industrial strength: Formal methods in practice

Hinchey, Michael G

Industrial strength: Formal methods in practice - London Springer 1999 - 400 - Formal Approaches to Computing and Information Technology (FACIT .

ISBN: 1852336404

Subjects--Topical Terms:
FORMAL METHODS

Dewey Class. No.: 005.131 HIN/I

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS
More searches

Search for this title in:
Goodreads Google Books Amazon India Kerala Academic Library Network (Union Catalog)