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ț: 631.53 lei 789.41 lei
6-8 săpt.
-20%