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
- -30%
- -14%
"Öppna era hjärtan" : berättelsen om hur islam blev Sveriges näst största religion och Sverigedemokraterna landets näst största parti
Simon Sorgenfrei
Inbunden
239 kr279 kr
- -18%
Del 11
- Nyhet
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad
552 kr