It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
| ISBN: | 9783540713142 |
| Publication date: | 8th March 2007 |
| Author: | Rocco De Nicola |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 542 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Software Engineering Mathematical theory of computation Computer programming / software engineering Databases |
It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
Programming Languages and Systems Theoretical Computer Science and General Issues features in the following genres: Compilers and interpreters, Software Engineering, Mathematical theory of computation, Computer programming / software engineering, Databases
Programming Languages and Systems Theoretical Computer Science and General Issues is available in Paperback
Programming Languages and Systems Theoretical Computer Science and General Issues was written by Rocco De Nicola and published by Springer an imprint of Springer Berlin Heidelberg
Programming Languages and Systems Theoretical Computer Science and General Issues has 542 pages
Yes it is part of Lecture Notes in Computer Science series