Scan barcode
249 pages • missing pub info (editions)
ISBN/UID: 9780792395522
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 28 February 1995
Description
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and v...
Community Reviews
Content Warnings
249 pages • missing pub info (editions)
ISBN/UID: 9780792395522
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 28 February 1995
Description
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and v...
Community Reviews
Content Warnings