Scan barcode
306 pages • missing pub info (editions)
ISBN/UID: 9781402015670
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 31 October 2003
Description
A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and fun...
Community Reviews
Content Warnings
306 pages • missing pub info (editions)
ISBN/UID: 9781402015670
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 31 October 2003
Description
A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and fun...
Community Reviews
Content Warnings