1
Abstract state machine [E-Book] : B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings /
2
Advances in software engineering [E-Book] : Lipari summer school 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
3
Computability, complexity, logic [E-Book] /
Other Personal Name(s): ...Börger, E....

Full text