ezio bartocci author - Books - 24x7 online bookstore Bookswagon.ae

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

6 results found

Sort By:

Lectures on Runtime Verification

By: Ezio Bartocci, Yliès Falcone

Publisher: Springer International Publishing AG

No Review Yet

AED301

Binding:	Paperback
Release:	11 Feb 2018
Language:	English

International Edition

Ships within 14-16 Days Explain..

Formal Methods in Outer Space

By: Martin Leucker, Ezio Bartocci, Yliès Falcone

Publisher: Springer Nature Switzerland AG

No Review Yet

AED275

Binding:	Paperback
Release:	28 Sep 2021
Language:	English

International Edition

Ships within 14-16 Days Explain..

From Reactive Systems to Cyber-Physical Systems

By: Oleg Sokolsky, Ezio Bartocci, Radu Grosu, Rance Cleaveland

Publisher: Springer Nature Switzerland AG

No Review Yet

AED255

Binding:	Paperback
Release:	21 Sep 2019
Language:	English

International Edition

Ships within 12-14 Days Explain..

Model Checking Software

By: C. R. Ramakrishnan, Ezio Bartocci

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED256

Binding:	Paperback
Release:	19 Jul 2013
Language:	English

International Edition

Ships within 14-16 Days Explain..

Computational Methods in Systems Biology

By: Pietro Lio, Ezio Bartocci, Nicola Paoletti

Publisher: Springer International Publishing AG

No Review Yet

AED256

Binding:	Paperback
Release:	04 Sep 2016
Language:	English

International Edition

Ships within 14-16 Days Explain..

Runtime Verification

By: Rupak Majumdar, Ezio Bartocci

Publisher: Springer International Publishing AG

No Review Yet

AED256

Binding:	Paperback
Release:	11 Sep 2015
Language:	English

International Edition

Ships within 14-16 Days Explain..

No more records found