Home Advanced Search
Advanced Search - Page 1
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
- English
- Year: 2016
- Author: Dragan Bošnački, Anton Wijs (eds.)
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)
Pojmovnik američkih predsedničkih izbora 2016
- Serbian
- Year: 2016
- Author: Dragan R. Simić, Dragan Živojinović, Stevan Nedeljković (eds.)
Sjedinjene Američke Države i izazivači
- Serbian
- Year: 2015
- Author: Dragan R. Simić, Dragan Živojinović, Nikola Jović (eds.)
