ernst r diger olderog author - Books - 24x7 online bookstore Bookswagon.ae
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
3 results found
List viewGrid view
Sort By:
1.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
By: Krzysztof R Apt, Ernst-R Diger Olderog
Publisher: Springer
No Review Yet
AED124
Binding:
Hardback
Release:
09 Jul 1991
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
2.
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
By: Werner Damm, Ernst-R]diger Olderog
Publisher: Springer
No Review Yet
AED340
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
3.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
By: Krzysztof R Apt (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam Universiteit van Amsterdam Universiteit van Amsterdam Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam Universiteit van Amsterdam Universiteit van Amsterdam), Frank S De Boer, Ernst-R Diger Olderog (Carl V. Ossietzky Universit??t Oldenburg, Germany)
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
01 Sep 2009
Out of Stock
Notify me when this book is in stockNotify Me
No more records found