Koha online

Normal view MARC view ISBD view

Bowen, Jonathan P.

Industrial-strength formal methods in practice - London: Springer, 1999 - xvi, 400 p.; ill., index: 24 cm. - Formal approaches to computing and information technology .

ISBN: 1852336404 (pbk)

Subjects--Topical Terms:
Formal methods (Computer science)

Dewey Class. No.: 005.131 / HIN