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
  • PDF
  • English
  • Year: 2016
  • Author: Dragan Bošnački, Anton Wijs (eds.)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
Concise Guide to Software Verification : From Model Checking to Annotation Checking
  • EPUB
  • English
  • Year: 2023
  • Author: Marieke Huisman; Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
  • PDF
  • 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
  • PDF
  • 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)
Us/Them
  • EPUB
  • English
  • Year: 2018
  • Author: Wijs, Carly
Sjedinjene Američke Države i izazivači
  • PDF
  • Serbian
  • Year: 2015
  • Author: Dragan R. Simić, Dragan Živojinović, Nikola Jović (eds.)
Pojmovnik američkih predsedničkih izbora 2016
  • PDF
  • Serbian
  • Year: 2016
  • Author: Dragan R. Simić, Dragan Živojinović, Stevan Nedeljković (eds.)
search