Tell your friends about this item:
Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series Dines Bjorner 2006 edition
Price
$ 122.49
excl. VAT
Ordered from remote warehouse
Expected delivery Jan 2 - 14, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Also available as:
Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series
Dines Bjorner
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base.
756 pages, 38 black & white illustrations, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | December 19, 2005 |
| ISBN13 | 9783540211495 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 714 |
| Dimensions | 155 × 235 × 39 mm · 1.17 kg |
| Language | French |
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)](https://imusic.b-cdn.net/images/item/original/456/9783642093456.jpg?dines-bjorner-2010-logics-of-specification-languages-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/407/9783642059407.jpg?dines-bjorner-2010-software-engineering-2-specification-of-systems-and-languages-texts-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1408461347)
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2008 edition] (2007)](https://imusic.b-cdn.net/images/item/original/060/9783540741060.jpg?dines-bjorner-2007-logics-of-specification-languages-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/501/9783540211501.jpg?dines-bjorner-2006-software-engineering-2-specification-of-systems-and-languages-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1461100568)
