Buy books written by Dejan Nickovic Available at Bookswagon
Logo1
close menu
Bookswagon
search
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Dejan Nickovic

Dejan Nickovic

3 results found
Filter0Switch to Grid View
List viewGrid view
Sort By:
1.
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
By: Marcin Jurdzinski, Dejan Nickovic
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED207
Binding:
Paperback
Release:
17 Aug 2012
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Contracts for System Design
Contracts for System Design
By: Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Albert Benveniste, Jean-Baptiste Raclet
Publisher: now publishers Inc
No Review Yet
AED96
Binding:
Paperback
Release:
28 Mar 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
3.
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
By: Nickovic Dejan Nickovic, Jurdzinski Marcin Jurdzinski
Publisher: Springer Nature B.V.
No Review Yet
AED213
Binding:
Paperback
Release:
23 Sep 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found