Fortæl dine venner om denne vare:
Vdm '87, Vdm, a Formal Method at Work: Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Lecture Notes in Computer Science
Dines Bjorner
Pris
DKK 448
Bestilles fra fjernlager
Forventes klar til forsendelse 14. - 20. okt.
Tilføj til din iMusic ønskeseddel
eller
Vdm '87, Vdm, a Formal Method at Work: Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Lecture Notes in Computer Science
Dines Bjorner
422 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 11. marts 1987 |
| ISBN13 | 9783540176541 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 422 |
| Mål | 156 × 234 × 22 mm · 607 g |
| Sprog | Tysk |
| Klipper/redaktør | Bjorner, Dines |
| Klipper/redaktør | Jones, Cliff |
| Klipper/redaktør | Mac an Airchinnigh, Michael |
| Klipper/redaktør | Neuhold, Erich J. |
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Bog) [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-bog&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/391/9783642059391.jpg?dines-bjorner-2010-software-engineering-1-abstraction-and-modelling-texts-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1408461347)
![Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Paperback Bog) [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-bog&class=scaled&v=1408461347)
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover bog) [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-bog&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 bog) [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-bog&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/495/9783540211495.jpg?dines-bjorner-2005-software-engineering-1-abstraction-and-modelling-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1461100568)
