Fortell venner om denne varen:
Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series 2006 edition
Dines Bjorner
Pris
HK$ 429
Bestillingsvarer
Forventes levert 10. - 20. okt
Legg til iMusic ønskeliste
eller
Finnes også som:
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 22. februar 2006 |
| Opprinelig utgitt | 2005 |
| ISBN13 | 9783540211501 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 780 |
| Mål | 155 × 235 × 42 mm · 1,25 kg |
| Språk | Tysk |
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [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-pocketbok&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Pocketbok) [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-pocketbok&class=scaled&v=1408461347)
![Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1461100568)
![Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1461100568)
