Books written by Prabhakar Pavithra Prabhakar Bookswagon UAE

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Prabhakar Pavithra Prabhakar

5 results found

Sort By:

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

By: Pavithra Prabhakar, Andrea Vandin

Publisher: Springer Nature Switzerland AG

No Review Yet

AED321

Binding:	Paperback
Release:	02 Oct 2025
Language:	English

International Edition

Ships within 22-24 Days Explain..

Formal Modeling and Analysis of Timed Systems

By: Pavithra Prabhakar, David N. Jansen

Publisher: Springer Nature Switzerland AG

No Review Yet

AED179

Binding:	Paperback
Release:	26 Aug 2018
Language:	English

Available

Ships within 14-16 Days Explain..

Numerical Software Verification

By: Matthieu Martel, Sergiy Bogomolov, Pavithra Prabhakar

Publisher: Springer International Publishing AG

No Review Yet

AED231

Binding:	Paperback
Release:	17 Feb 2017
Language:	English

Available

Ships within 14-16 Days Explain..

Formal Modeling and Analysis of Timed Systems

By: Prabhakar Pavithra Prabhakar, Jansen David N. Jansen

Publisher: Springer Nature B.V.

No Review Yet

AED240

Binding:	Paperback
Release:	29 Aug 2018
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Numerical Software Verification

By: Bogomolov Sergiy Bogomolov, Martel Matthieu Martel, Prabhakar Pavithra Prabhakar

Publisher: Springer Nature B.V.

No Review Yet

AED230

Binding:	Paperback
Release:	22 Feb 2017
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found