Kaikki 3s julkaisut Marieke Huisman
Luokat
Muu
Asiakaspalvelu
EUR
Varastossa iMusicilla
Näytä loppuunmyydyt julkaisut
![Cover for Marieke Huisman · Concise Guide to Software Verification: From Model Checking to Annotation Checking - Texts in Computer Science (Paperback Book) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/698/9783031301698.jpg?marieke-huisman-2024-concise-guide-to-software-verification-from-model-checking-to-annotation-checking-texts-in-computer-science-paperback-book&class=scaled&v=1759237570)
![Cover for Marieke Huisman · Concise Guide to Software Verification: From Model Checking to Annotation Checking - Texts in Computer Science (Hardcover Book) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/667/9783031301667.jpg?marieke-huisman-2023-concise-guide-to-software-verification-from-model-checking-to-annotation-checking-texts-in-computer-science-hardcover-book&class=scaled&v=1693783635)
![Cover for Marieke Huisman · Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, Ju (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/543/9783031353543.jpg?marieke-huisman-2023-formal-techniques-for-distributed-objects-components-and-systems-43rd-ifip-wg-6-1-international-conference-forte-2023-held-as-part-of-the-18th-international-federated-conference-on-distributed-computing-techniques-discotec-2023-lisbon-&class=scaled&v=1750167415)