Details of Book: High-integrity System Specification And Design (formal Approaches To Computing And Information Technology) Book: High-integrity System Specification And Design (formal Approaches To Computing And Information Technology)
Author: Michael G. Hinchey, Jonathan P. Bowen
ISBN: 3540762264
ISBN-13: 9783540762263
, 978-3540762263
Binding: Paperback
Publishing Date: May 1999
Publisher: Springer
Number of Pages: 724
Language: English