Conte aos seus amigos sobre este item:
Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2008 edition
Dines Bjorner
Preço
R$ 891,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 7 - 13 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de novembro de 2010 |
| ISBN13 | 9783642093456 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 624 |
| Dimensões | 155 × 235 × 33 mm · 898 g |
| Idioma | German |
| Editor | Bjorner, Dines |
| Editor | Henson, Martin C. |
Mostrar tudo
Mais por 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)
Ver tudo de Dines Bjorner ( por exemplo Paperback Book e Hardcover Book )