Take a photo of a barcode or cover
Read With Others
Book Information
723 pages • paperback • 1 edition
ISBN/UID: 9783540555643
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Jun 1992
Description
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this dire...
Community Reviews
Content Warnings
723 pages • paperback
ISBN/UID: 9783540555643
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Jun 1992
Description
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this dire...
Community Reviews
Content Warnings