Anton Wijs - Böcker

Visar alla böcker från författaren Anton Wijs.
6 produkter
Gwen Salaün, Anton Wijs, Gwen Salaun - Formal Aspects of Component Software, Häftad

Formal Aspects of Component Software

Av Gwen Salaün, Anton Wijs, Gwen Salaun

Häftad, Engelska, 2021

659 kr

Skickas inom 10-15 vardagar
Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Inbunden

Concise Guide to Software Verification

Av Marieke Huisman, Anton Wijs

Inbunden, Engelska, 2023

1 259 kr

Skickas inom 7-10 vardagar
Marieke Huisman, Anton Wijs - Concise Guide to Software Verification, Häftad

Concise Guide to Software Verification

Av Marieke Huisman, Anton Wijs

Häftad, Engelska, 2024

999 kr

Skickas inom 7-10 vardagar
Paula Herber, Anton Wijs - Integrated Formal Methods, Häftad
Del 14300 - Lecture Notes in Computer Science

Integrated Formal Methods

Av Paula Herber, Anton Wijs

Häftad, Engelska, 2023

1 729 kr

Skickas inom 7-10 vardagar
Thomas Neele, Anton Wijs - Model Checking Software, Häftad
Del 14624 - Lecture Notes in Computer Science

Model Checking Software

Av Thomas Neele, Anton Wijs

Häftad, Engelska, 2024

739 kr

Skickas inom 10-15 vardagar
Dragan Bošnački, Anton Wijs, Dragan Bosnacki, Dragan Bosnački, Dragan Bošnacki - Model Checking Software, Häftad

Model Checking Software

Av Dragan Bošnački, Anton Wijs, Dragan Bosnacki, Dragan Bosnački, Dragan Bošnacki

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar