Conte aos seus amigos sobre este item:
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science
Dines Bjorner
Preço
CA$ 78,49
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 21 - 27 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science
Dines Bjorner
This volume contains the papers selected for presentation at an international conference organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences. Topics discussed include semantics, software specification and program logic.
438 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 5 de outubro de 1993 |
| ISBN13 | 9783540573166 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 438 |
| Dimensões | 156 × 234 × 23 mm · 625 g |
| Idioma | German |
| Editor | Bjorner, Dines |
| Editor | Broy, Manfred |
| Editor | Pottosin, Igor V. |
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 · 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 · 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 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 )