Vinkkaa tuotetta kavereillesi:
Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series 2006 edition
Dines Bjorner
Hinta
£ 44,99
Tilattu etävarastosta
Arvioitu toimitus ti - ke 21. - 29. loka
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series 2006 edition
Dines Bjorner
Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies.
808 pages, 151 black & white illustrations, 27 black & white tables, biography
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | keskiviikko 22. helmikuuta 2006 |
| Alunperin julkaistu | 2005 |
| ISBN13 | 9783540211501 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 780 |
| Mitta | 155 × 235 × 42 mm · 1,25 kg |
| Kieli | German |
Näytä kaikki
Lisää tuotteita Dines Bjorner
![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 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 · 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 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 )