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 479 kr
Del i serien Lecture Notes in Computer Science
Current Trends in Concurrency
Overviews and Tutorials
Häftad, Engelska, 1986
1 479 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 479 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad, 1987
699 kr
PARLE Parallel Architectures and Languages Europe
Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
Häftad, 1987
699 kr
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad, 2004
739 kr
Formal Techniques in Real-Time and Fault-Tolerant Systems
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Häftad, 1994
1 479 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Inbunden, 2001
4 819 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Häftad, 2012
1 709 kr
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad, 2005
739 kr