Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The Philatelic World
None
Parliamentary Papers
None
Proceedings ...
None
Social Register Locater
The locater lists in alphabetical order every name in all the Social registers and indicates the family's head under which it may be found and the city in which the name appears.
Specification and Verification of Concurrent Systems
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, o...
The United Service
None
