Specification and Verification of Concurrent Systems - Brossura

Rattray, C.

 
9780387195810: Specification and Verification of Concurrent Systems

Sinossi

Book by Rattray C

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783540195818: Specification and Verification of Concurrent Systems (Workshops in Computing)

Edizione in evidenza

ISBN 10:  3540195815 ISBN 13:  9783540195818
Casa editrice: Springer, 1990
Brossura