Normal view MARC view ISBD view

Using event-b for critical device software systems

Neeraj Kumar Singh

Using event-b for critical device software systems - Springer – Verlag 2013 - xviii, 326p.

ISBN: 9781447152590 (HB)

Subjects--Topical Terms:
Formal methods (Computer science)
Computer software – Development
Software engineering

Dewey Class. No.: 004.0151 SIN(USI)

Place hold
Print
Cite
Send to device
More searches

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