Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Bartocci Ezio Bartocci

Bartocci Ezio Bartocci

8 results found
List viewGrid view
Sort By:
1.
Formal Methods in Outer Space37 %
Formal Methods in Outer Space
By: Martin Leucker, Ylies Falcone, Ezio Bartocci, Yliès Falcone
Publisher: Springer Nature Switzerland AG
No Review Yet
₹5,159
₹3,250
Binding:
Paperback
Release:
28 Sep 2021
Language:
English
Available
Ships within 12-14 Days Explain..
2.
From Reactive Systems to Cyber-Physical Systems37 %
From Reactive Systems to Cyber-Physical Systems
By: Oleg Sokolsky, Ezio Bartocci, Radu Grosu, Rance Cleaveland
Publisher: Springer International Publishing
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
21 Sep 2019
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Lectures on Runtime Verification37 %
Lectures on Runtime Verification
By: Ylies Falcone, Ezio Bartocci, Yliès Falcone
Publisher: Springer
No Review Yet
₹6,097
₹3,841
Binding:
Paperback
Release:
11 Feb 2018
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Computational Methods in Systems Biology37 %
Computational Methods in Systems Biology
By: Pietro Lio, Ezio Bartocci, Nicola Paoletti
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
04 Sep 2016
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Model Checking Software37 %
Model Checking Software
By: C. R. Ramakrishnan, Ezio Bartocci, C R Ramakrishnan
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
19 Jul 2013
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Runtime Verification37 %
Runtime Verification
By: Rupak Majumdar, Ezio Bartocci
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
11 Sep 2015
Language:
English
Available
Ships within 12-14 Days Explain..
7.
From Reactive Systems to Cyber-Physical Systems2 % NR
From Reactive Systems to Cyber-Physical Systems
By: Cleaveland Rance Cleaveland, Bartocci Ezio Bartocci, Grosu Radu Grosu
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,154
Binding:
Paperback
Release:
25 Sep 2019
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Model Checking Software1 % NR
Model Checking Software
By: Ramakrishnan C. R. Ramakrishnan, Bartocci Ezio Bartocci
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
06 Jun 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found