Specification and Verification of Concurrent Systems (Workshops in Computing)

New
Paperback
1990
$94.91

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 --Pref.

Synopsis

"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"--Pref.

$94.91

Save:$0.90 (1%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 624
Edition: 1st Edition.
Publisher: Springer
Published: 23 Jul 1990
ISBN 10: 3540195815
ISBN 13: 9783540195818

Specification and Verification of Concurrent Systems (Workshops in Computing)

New

$94.91

Synopsis

$94.91

More Information