Buy books written by Anton Wijs Available at BooksWagon

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,594

₹7,934

Binding:	Paperback
Release:	11 Nov 2023
Language:	English

Available

Ships within 14-16 Days Explain..

36 %

Model Checking Software

By: Anton Wijs, Thomas Neele

Publisher: Springer International Publishing AG

No Review Yet

₹5,724

₹3,663

Binding:	Paperback
Release:	13 Oct 2024
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,725

₹3,664

Binding:	Paperback
Release:	08 Apr 2016
Language:	English

Available

Ships within 14-16 Days Explain..

37 %

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹6,839

₹4,309

Binding:	Paperback
Release:	26 Jul 2024
Language:	English

Available

Ships within 2-4 Days Explain..

37 %

Concise Guide to Software Verification

By: Marieke Huisman, Anton Wijs

Publisher: Springer International Publishing AG

No Review Yet

₹9,732

₹6,131

Binding:	Hardback
Release:	25 Jul 2023
Language:	English

Available

Ships within 14-16 Days Explain..

36 %

Formal Aspects of Component Software

By: Anton Wijs, Gwen Salaün

Publisher: Springer Nature Switzerland AG

No Review Yet

₹5,152

₹3,297

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

Cart Overview

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter