Home Advanced Search
Advanced Search - Page 1
Concise Guide to Software Verification. From Model Checking to Annotation Checking
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
- RAR
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification : From Model Checking to Annotation Checking
- EPUB
- English
- Year: 2023
- Author: Marieke Huisman; Anton Wijs
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
- EPUB
- English
- Year: 2021
- Author: Gwen Salaün (editor), Anton Wijs (editor)
Risiko-Controlling
- German
- Year: 2001
- Author: Anton Burger; Anton Buchhart
Dance of the Photons: From Einstein to Quantum Teleportation
- EPUB
- English
- Year: 2010
- Author: Anton Zeilinger
Lebenslage und Sozialarbeit: Elemente zu einer Soziologie von Hilfe und Kontrolle
- German
- Author: Amann, Anton