Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Editat de Jacobus W. de Bakker et al.
30 mar 1989
Paperback
Preț: 653.25 lei 816.55 lei
43-57 zile
-20%