Fortell venner om denne varen:
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
Íkr 6.829
Bestillingsvarer
Forventes levert 14. - 22. okt
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 28. november 1997 |
| ISBN13 | 9783540638766 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 364 |
| Mål | 156 × 234 × 19 mm · 508 g |
| Språk | Tysk |
| Redaktør | Ramesh, S. |
| 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 (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1563465537)