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, 1989
1 449 kr
Del i serien Lecture Notes in Computer Science
Current Trends in Concurrency
Overviews and Tutorials
Häftad, Engelska, 1986
1 449 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1986-06-01
- Mått155 x 235 x 40 mm
- Vikt1 089 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor718
- Upplaga1986
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540164883
Tillhör följande kategorier
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, 1990
1 449 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad, 1987
689 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad, 1987
689 kr
- Nyhet
Del 3
- Nyhet
Del 6