prabhakar pavithra prabhakar author - Books - 24x7 online bookstore Bookswagon.com

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Prabhakar Pavithra Prabhakar

5 results found

Sort By:

36 %

Formal Modeling and Analysis of Timed Systems

By: Pavithra Prabhakar, David N. Jansen

Publisher: Springer Nature Switzerland AG

No Review Yet

₹5,307

₹3,396

Binding:	Paperback
Release:	26 Aug 2018
Language:	English

Available

Ships within 12-14 Days Explain..

36 %

Numerical Software Verification

By: Matthieu Martel, Sergiy Bogomolov, Pavithra Prabhakar

Publisher: Springer International Publishing AG

No Review Yet

₹5,307

₹3,396

Binding:	Paperback
Release:	17 Feb 2017
Language:	English

Available

Ships within 12-14 Days Explain..

8 % NR

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

₹7,229

₹6,651

Binding:	Paperback
Release:	21 Oct 2025
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

2 % NR

Formal Modeling and Analysis of Timed Systems

By: Prabhakar Pavithra Prabhakar, Jansen David N. Jansen

Publisher: Springer Nature B.V.

No Review Yet

₹4,239

₹4,154

Binding:	Paperback
Release:	29 Aug 2018
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

3 % NR

Numerical Software Verification

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

Publisher: Springer Nature B.V.

No Review Yet

₹4,239

₹4,112

Binding:	Paperback
Release:	22 Feb 2017
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found