Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Häftad
1 096 kr
Current Trends in Concurrency
Overviews and Tutorials
AvJacobus W. De Bakker,Willem-Paul De Roever
Häftad, Engelska, 1986
Del i serien Lecture Notes in Computer Science
1 096 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Stepwise Refinement of Distributed Systems
Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Häftad
1 096 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad
519 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad
519 kr
- Nyhet
- Signerad!
- -19%
- Nyhet
Del 4
- -30%
- Nyhet