Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. Books 

Anton Wijs Books

We found 8 Books for anton wijs

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Marieke Huisman;Anton Wijs
Springer, 2023, Paperback, New

NZ$ 126.41
Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Huisman, Marieke ; Wijs, Anton
Springer, 1 edition, Hardcover, New

NZ$ 190.30
Formal Aspects of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Formal Aspects of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Salaün, Gwen ; Wijs, Anton
Springer, Paperback, New

NZ$ 105.31
Model Checking Software: 30Th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science, 14624)

Model Checking Software: 30Th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science, 14624)

Neele Thomas,Wijs Anton
Springer, Paperback, New

NZ$ 113.81
Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proc

Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proc

Bosnački, Dragan ; Wijs, Anton
Springer, Paperback, New

NZ$ 113.81
Integrated Formal Methods: 18th International Conference, Ifm 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings

Integrated Formal Methods: 18th International Conference, Ifm 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings

Herber, Paula ; Wijs, Anton
Springer, Paperback, New

NZ$ 241.30
Model Checking Software. 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software. 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Anton Wijs;Dragan Bošnački
Springer Nature B.V., 2016, Paperback, New

NZ$ 126.38
Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Anton Wijs;Marieke Huisman
Springer International Publishing AG, 2024, Paperback, New

NZ$ 130.81

Few books have been found. You can Repeat Search without requiring all the searched terms to be present..