Specification and Verification of Concurrent Systems - Workshops in Computing - Charles Rattray - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540195818 - July 23, 1990
In case cover and title do not match, the title is correct

Specification and Verification of Concurrent Systems - Workshops in Computing Edition. Ed. edition

Price
HK$ 438
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 19 - 25
Add to your iMusic wish list

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


620 pages, 13 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 23, 1990
ISBN13 9783540195818
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 612
Dimensions 170 × 244 × 32 mm   ·   979 g
Language German  
Editor Rattray, Charles

Mere med samme udgiver