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 429 kr
Del i serien Lecture Notes in Computer Science
Current Trends in Concurrency
Overviews and Tutorials
Häftad, Engelska, 1986
1 429 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
1 429 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad
679 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad
679 kr
- Nyhet
- Nyhet
- Nyhet
Del 1
- Nyhet
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
279 kr329 kr
- Nyhet
Del 6
- Nyhet