This volume provides an introduction to computer-based system specification and design, paying particular attention to structured and formal methods, method integration, concurrency and safety-critical systems. The book consists of both original material and reprints of classic papers in the field of system specification and design. Available from Amazon USA and Amazon UK.
Attributes | Values |
---|---|
rdfs:label |
|
rdfs:comment |
|
dcterms:subject | |
abstract |
|