Tell your friends about this 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
Price
Kč 1,167
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 3 - 13
Our customers say:
Add to your iMusic wish list
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 28, 1997 |
| ISBN13 | 9783540638766 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 364 |
| Dimensions | 156 × 234 × 19 mm · 508 g |
| Language | 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)