Humburger Icon
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
Dejan Nickovic

Dejan Nickovic

5 results found
List viewGrid view
Sort By:
1.
Formal Methods for Industrial Critical Systems36 %
Formal Methods for Industrial Critical Systems
By: Maurice H. Ter Beek, Dejan Nickovic
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
29 Aug 2020
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Runtime Verification36 %
Runtime Verification
By: Jyotirmoy Deshmukh, Dejan Nickovic
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
08 Oct 2020
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Formal Modeling and Analysis of Timed Systems36 %
Formal Modeling and Analysis of Timed Systems
By: Marcin Jurdzinski, Dejan Nickovic
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,037
₹3,224
Binding:
Paperback
Release:
17 Aug 2012
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Contracts for System Design32 % POD/NR
Contracts for System Design
By: Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Albert Benveniste, Jean-Baptiste Raclet
Publisher: now publishers Inc
No Review Yet
₹8,712
₹5,924
Binding:
Paperback
Release:
28 Mar 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
5.
Formal Modeling and Analysis of Timed SystemsNR
Formal Modeling and Analysis of Timed Systems
By: Nickovic Dejan Nickovic, Jurdzinski Marcin Jurdzinski
Publisher: Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
23 Sep 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA