Humburger Icon
Let's Explore, Bibiliophile
  • Account Icon
  • Wishlist Icon
  • Cart Icon

    Cart Overview

    Show All
    Your cart is empty
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
8 results found
List viewGrid view
Sort By:
1.
Verification of Sequential and Concurrent ProgramsNR
Verification of Sequential and Concurrent Programs
By: Ernst-Rudiger Olderog, Krzysztof Apt (Centre for Mathematics and Computer Science, Amsterdam)
Publisher: Springer
No Review Yet
₹5,219
Binding:
Paperback
Release:
15 Jan 2014
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
2.
Correct System Design
Correct System Design
By: Ernst-Rudiger Olderog, Bernhard Steffen
Publisher: Springer
No Review Yet
₹0
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
3.
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
By: Ernst-Rudiger Olderog, Werner Damm
Publisher: Springer
No Review Yet
₹0
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
4.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
By: Ernst-Rudiger Olderog, Krzysztof Apt (Centre for Mathematics and Computer Science, Amsterdam)
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
5.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
By: Ernst-Rudiger Olderog, Krzysztof R. Apt
Publisher: Springer-Verlag New York Inc.
No Review Yet
₹9,166
Binding:
Hardback
Release:
13 May 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Programming Concepts, Methods and Calculi
Programming Concepts, Methods and Calculi
By: Ernst-Rudiger Olderog
Publisher: Elsevier Science & Technology
No Review Yet
₹0
Binding:
Paperback
Release:
/11/1994
Out of Stock
Notify me when this book is in stockNotify Me
7.
Verification of Sequential and Concurrent Programmes
Verification of Sequential and Concurrent Programmes
By: Ernst-Rudiger Olderog, Krzysztof R. Apt
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹247
Binding:
Hardback
Release:
/07/1991
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Model Checking, Synthesis, and LearningNR
Model Checking, Synthesis, and Learning
By: Olderog Ernst-Rudiger Olderog, Steffen Bernhard Steffen, Yi Wang Yi
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
26 Nov 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA