28,03€(IVA inc.)
25 years of model checking: history, achievements, perspectives
- Grumberg, O.
- 978-3-540-69849-4
- 2008-07-01
51,95€(IVA inc.)
Languages : from formal to natural: essays dedicated to Nissim Francez on the occasion of his 65th birthday
- Grumberg, O.
- 978-3-642-01747-6
- 2009-06-01
234,00€(IVA inc.)
Logics and languages for reliability and security
- Esparza, J.
- 978-1-60750-099-5
- 2010-03-01