Recomienda este artículo a tus amigos:
Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series Dines Bjorner Softcover reprint of hardcover 1st ed. 2006 edition
Precio
€ 48,99
Pedido desde almacén remoto
Entrega prevista 6 - 12 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series
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.
780 pages, 151 black & white illustrations, 27 black & white tables, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de febrero de 2010 |
| ISBN13 | 9783642059407 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 780 |
| Dimensiones | 155 × 235 × 40 mm · 1,11 kg |
| Lengua | Inglés |
Mas por Dines Bjorner
Mostrar todo![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 todo de Dines Bjorner ( Ej. Paperback Book y Hardcover Book )