zhan naijun zhan author - Books - 24x7 online bookstore Bookswagon.com

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Zhan Naijun Zhan

6 results found

Sort By:

37 %

Formal Methods

By: Marieke Huisman, Corina Pasareanu, Naijun Zhan, Corina Păsăreanu

Publisher: Springer Nature Switzerland AG

No Review Yet

₹10,560

₹6,653

Binding:	Paperback
Release:	10 Nov 2021
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Symposium on Real-Time and Hybrid Systems

By: Ji Wang, Cliff Jones, Naijun Zhan

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	29 Sep 2018
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Formal Verification of Simulink/Stateflow Diagrams

By: Shuling Wang, Hengjun Zhao, Naijun Zhan

Publisher: Springer

No Review Yet

₹11,040

₹6,955

Binding:	Paperback
Release:	29 Jun 2018
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Formal Verification of Simulink/Stateflow Diagrams

By: Shuling Wang, Hengjun Zhao, Naijun Zhan

Publisher: Springer

No Review Yet

₹11,040

₹6,955

Binding:	Hardback
Release:	14 Nov 2016
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Dependable Software Engineering: Theories, Tools, and Applications

By: Deepak Kapur, Martin Franzle, Naijun Zhan, Martin Fränzle

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	06 Oct 2016
Language:	English

Available

Ships within 12-14 Days Explain..

3 % NR

Symposium on Real-Time and Hybrid Systems

By: Zhan Naijun Zhan, Wang Ji Wang, Jones Cliff Jones

Publisher: Springer Nature B.V.

No Review Yet

₹4,239

₹4,112

Binding:	Paperback
Release:	04 Oct 2018
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found