Location & Availability for: Understanding formal methods

 Staff view

You must be logged in to Tag Records

Understanding formal methods /

written and translated by Jean Franȯis Monin ; translation editor, Michael G. Hinchey.

Book Cover
Main Author: Monin, Jean Franȯis
Other Names: Hinchey, Michael G.
Published: London ; Springer, c2003.
Topics: Formal methods (Computer science)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Understanding formal methods