Conte aos seus amigos sobre este item:
Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series 2006 edition
Dines Bjorner
Preço
DKK 349,60
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 14 - 20 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 22 de fevereiro de 2006 |
| Data do lançamento original | 2005 |
| ISBN13 | 9783540211501 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 780 |
| Dimensões | 155 × 235 × 42 mm · 1,25 kg |
| Idioma | German |
Mostrar tudo
Mais por 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)
Ver tudo de Dines Bjorner ( por exemplo Paperback Book e Hardcover Book )