Buy books written by Wijs Anton Wijs Available at BooksWagon

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Wijs Anton Wijs

7 results found

Sort By:

37 %

Integrated Formal Methods

By: Paula Herber, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹12,264

₹7,726

Binding:	Paperback
Release:	11 Nov 2023
Language:	English

Available

Ships within 14-16 Days Explain..

6 % NR

Model Checking Software

By: Anton Wijs, Thomas Neele

Publisher: Springer International Publishing AG

No Review Yet

₹5,770

₹5,424

Binding:	Paperback
Release:	13 Oct 2024
Language:	English

International Edition

Ships within 18-20 Days Explain..

Free Shipping in India and low cost Worldwide.

36 %

Model Checking Software

By: Anton Wijs, Dragan Bošnacki

Publisher: Springer International Publishing AG

No Review Yet

₹5,575

₹3,568

Binding:	Paperback
Release:	08 Apr 2016
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,793

Binding:	Paperback
Release:	26 Jul 2024
Language:	English

Available

Ships within 8-10 Days Explain..

38 %

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹8,919

₹5,530

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

₹5,017

₹3,211

Binding:	Paperback
Release:	05 Nov 2021
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