Conte aos seus amigos sobre este item:
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997: Proceedings - Lecture Notes in Computer Science
S Ramesh
Preço
NZ$ 102,29
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 10 - 20 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997: Proceedings - Lecture Notes in Computer Science
S Ramesh
The papers presented here provide an overview of the foundations of software technology and theoretical computer science. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting and error-correcting codes.
364 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de novembro de 1997 |
| ISBN13 | 9783540638766 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 364 |
| Dimensões | 156 × 234 × 19 mm · 508 g |
| Idioma | German |
| Editor | Ramesh, S. |
| Editor | Sivakumar, G. |
![Cover for S Ramesh · Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 (Paperback Book) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/833/9789048175833.jpg?s-ramesh-2010-next-generation-design-and-verification-methodologies-for-distributed-embedded-control-systems-proceedings-of-the-gm-r-d-workshop-bangalore-india-january-2007-paperback-book&class=scaled&v=1563465537)
![Cover for S Ramesh · Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 (Hardcover Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/537/9781402062537.jpg?s-ramesh-2007-next-generation-design-and-verification-methodologies-for-distributed-embedded-control-systems-proceedings-of-the-gm-r-d-workshop-bangalore-india-january-2007-hardcover-book&class=scaled&v=1563465537)