Bokus

Marieke Huisman

Visar alla böcker från författaren Marieke Huisman. Handla med fri frakt och snabb leverans.

Tools and Algorithms for the Construction and Analysis of Systems
2020
- Häftad 647 kr
- Inbunden 711 kr
Formal Methods
2021
- Häftad 1249 kr
- E-bok 1634 kr
Formal Methods for Industrial Critical Systems
2022
- Häftad 797 kr
- E-bok 1007 kr
Tools and Algorithms for the Construction and Analysis of Systems
2019
Concise Guide to Software Verification
2023
- Inbunden 938 kr
- Häftad 664 kr
Formal Techniques for Distributed Objects, Components, and Systems
2023
- Häftad 797 kr
- E-bok 1007 kr
Tests and Proofs
2024
- Häftad 1542 kr
- E-bok 1906 kr
Integrated Formal Methods
2016
- Häftad 910 kr
- E-bok 1150 kr
Concise Guide to Software Verification
2023
- E-bok 877 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
2005
Concise Guide to Software Verification : From Model Checking to Annotation Checking
2023
- Övrigt 667 kr
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th I
2023
- Övrigt 672 kr
Fundamental Approaches to Software Engineering
2017
- Häftad 576 kr
- E-bok 739 kr