E. Börger
6 published titles
Computability, complexity, logic
1 edition
- ISBN: 0444874062
- North-Holland
- 1989
- Details
Specification and validation methods
(Contributor)
1 edition
- ISBN: 0198538545
- Oxford University Press
- 1995
- Details
The classical decision problem
1 edition
- ISBN: 354057073X
- Springer
- 1997
- Details
Architecture design and validation methods
(Contributor)
1 edition
- ISBN: 354064976X
- Springer
- 2000
- Details
Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540006249
- Springer
- 2003
- Details
Abstract state machines : a method for high-level system design and analysis
1 edition
- ISBN: 3540007024
- Springer
- 2003
- Details
