ernst rudiger olderog author - Books - 24x7 online bookstore Bookswagon.com

My Account
Log in New to Bookswagon?
Sign up
Log out
0
0

My Account

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

4 results found

Sort By:

1.

Verification of Sequential and Concurrent Programs

NR

Verification of Sequential and Concurrent Programs

By: Apt Krzysztof R. Apt, Olderog Ernst-Rudiger Olderog

Publisher: Springer Nature B.V.

No Review Yet

₹4,919

Binding:	Paperback
Release:	05 Dec 2012
Language:	English

International Edition

Ships within 12-14 Days Explain..

Free Shipping in India and low cost Worldwide.

2.

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

3.

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

4.

Model Checking, Synthesis, and Learning

NR

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

Open Chatbot