wijs anton wijs author - Books - 24x7 online bookstore Bookswagon.com

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Wijs Anton Wijs

7 results found

Sort By:

37 %

Model Checking Software

By: Anton Wijs, Thomas Neele

Publisher: Springer Nature Switzerland

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	05 Sep 2024
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing

No Review Yet

₹5,760

₹3,629

Binding:	Paperback
Release:	26 Jul 2024
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Integrated Formal Methods

By: Paula Herber, Anton Wijs

Publisher: Springer Nature Switzerland

No Review Yet

₹10,560

₹6,653

Binding:	Paperback
Release:	11 Nov 2023
Language:	English

Available

Ships within 12-14 Days Explain..

38 %

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing

No Review Yet

₹7,608

₹4,717

Binding:	Hardback
Release:	07 Jul 2023
Language:	English

Available

Ships within 2-4 Days Explain..

37 %

Formal Aspects of Component Software

By: Gwen Salaun, Anton Wijs, Gwen Salaün

Publisher: Springer Nature Switzerland AG

No Review Yet

₹4,320

₹2,722

Binding:	Paperback
Release:	05 Nov 2021
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Model Checking Software

By: Dragan Bosnacki, Anton Wijs, Dragan Bosnački

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	08 Apr 2016
Language:	English

Available

Ships within 12-14 Days Explain..

3 % NR

Model Checking Software

By: Wijs Anton Wijs, Bosnacki Dragan Bosnacki

Publisher: Springer Nature B.V.

No Review Yet

₹4,239

₹4,112

Binding:	Paperback
Release:	13 Apr 2016
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found