All Products

Showing 1 to 1 of 1 Products

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Product Type: Book

Edition: 1

First Published: 1995

eBook: 978-1-4377-2817-0

Hardcover: 978-0-8155-1362-9