Vinkkaa tuotetta kavereillesi:
Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2008 edition
Dines Bjorner
Hinta
Íkr 21.239,90
Tilattu etävarastosta
Arvioitu toimitus ti - ke 4. - 12. marras
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2008 edition
Dines Bjorner
This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
624 pages, black & white illustrations
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | maanantai 22. marraskuuta 2010 |
| ISBN13 | 9783642093456 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 624 |
| Mitta | 155 × 235 × 33 mm · 898 g |
| Kieli | German |
| Toimittaja | Bjorner, Dines |
| Toimittaja | Henson, Martin C. |
Näytä kaikki
Lisää tuotteita Dines Bjorner
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - 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/391/9783642059391.jpg?dines-bjorner-2010-software-engineering-1-abstraction-and-modelling-texts-in-theoretical-computer-science-an-eatcs-series-paperback-book&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 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 · 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)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [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-book&class=scaled&v=1461100568)
Katso kaikki joka sisältää Dines Bjorner ( Esim. Paperback Book Ja Hardcover Book )