Fortæl dine venner om denne vare:
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997: Proceedings - Lecture Notes in Computer Science
S Ramesh
Pris
zł 254,90
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 28. okt.
Tilføj til din iMusic ønskeseddel
eller
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 28. november 1997 |
| ISBN13 | 9783540638766 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 364 |
| Mål | 156 × 234 × 19 mm · 508 g |
| Sprog | Tysk |
| Klipper/redaktør | Ramesh, S. |
| Klipper/redaktør | 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 Bog) [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-bog&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 bog) [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-bog&class=scaled&v=1563465537)