E.-R. Olderog
Popular items by E.-R. Olderog
View all offers-
Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
Item prices starting from
View 20 offers£ 3.40
-
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Olderog, E. -R.
Item prices starting from
View 34 offers£ 20
