Buy books written by Anton Wijs Available at BooksWagon

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Anton Wijs

7 results found

Sort By:

36 %

Model Checking Software

By: Anton Wijs, Thomas Neele

Publisher: Springer International Publishing AG

No Review Yet

₹5,474

₹3,503

Binding:	Paperback
Release:	13 Oct 2024
Language:	English

Available

Ships within 14-16 Days Explain..

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹3,804

Binding:	Paperback
Release:	26 Jul 2024
Language:	English

Available

Ships within 10-12 Days Explain..

37 %

Integrated Formal Methods

By: Paula Herber, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹13,139

₹8,278

Binding:	Paperback
Release:	11 Nov 2023
Language:	English

Available

Ships within 14-16 Days Explain..

38 %

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹8,759

₹5,431

Binding:	Hardback
Release:	25 Jul 2023
Language:	English

Available

Ships within 2-4 Days Explain..

36 %

Formal Aspects of Component Software

By: Anton Wijs, Gwen Salaün

Publisher: Springer Nature Switzerland AG

No Review Yet

₹4,927

₹3,153

Binding:	Paperback
Release:	05 Nov 2021
Language:	English

Available

Ships within 14-16 Days Explain..

36 %

Model Checking Software

By: Anton Wijs, Dragan Bošnacki

Publisher: Springer International Publishing AG

No Review Yet

₹5,475

₹3,504

Binding:	Paperback
Release:	08 Apr 2016
Language:	English

Available

Ships within 14-16 Days Explain..

Model Checking Software

By: Wijs Anton Wijs, Bosnacki Dragan Bosnacki

Publisher: Springer Nature B.V.

No Review Yet

₹4,323

Binding:	Paperback
Release:	13 Apr 2016
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found