Scan barcode
249 pages • missing pub info (editions)
ISBN/UID: 9781461359418
Format: Paperback
Language: English
Publisher: Springer
Publication date: 27 September 2012
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: 9781461359418
Format: Paperback
Language: English
Publisher: Springer
Publication date: 27 September 2012
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