3540211497 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > SHOW COVERS + ASIN Copies Dines Bjorner Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) 0 Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >