Jerzy Tiuryn
2 published titles
Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000,
(Contributor)
1 edition
- ISBN: 3540672575
- Springer
- 2000
- Details
Dynamic logic
(Contributor)
2 editions
- ISBN: 0262082896
- MIT Press
- 2000
- Details
- ISBN: 9780262527668
- The MIT Press
- 2015
- Details
