Tell your friends about this item:
Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series Dines Bjorner Softcover reprint of hardcover 1st ed. 2006 edition
Price
Íkr 11,339
excl. VAT
Ordered from remote warehouse
Expected delivery Dec 15 - 25
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.
714 pages, 38 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 12, 2010 |
| ISBN13 | 9783642059391 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 714 |
| Dimensions | 155 × 235 × 38 mm · 1.04 kg |
| Language | English |
![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)
