Formal Models and Semantics
Author(s)
Author Unknown
Author Unknown
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Keywords
Computer Literacy, Data Processing, Reference, General, Computer Science, Information Technology, Machine Theory, Professional, Career & Trade -> Computer Science -> Computer Literacy, Professional, Career & Trade -> Computer Science -> Data Processing, Professional, Career & Trade -> Computer Science -> Special Topics, Professional, Career & Trade -> Computer Science -> Hardware, Professional, Career & Trade -> Computer Science -> Computer Science, Professional, Career & Trade -> Computer Science -> Information Technology, Professional, Career & Trade -> Computer Science -> Machine Theory, 774, 030, P0513008640
Computer Literacy, Data Processing, Reference, General, Computer Science, Information Technology, Machine Theory, Professional, Career & Trade -> Computer Science -> Computer Literacy, Professional, Career & Trade -> Computer Science -> Data Processing, Professional, Career & Trade -> Computer Science -> Special Topics, Professional, Career & Trade -> Computer Science -> Hardware, Professional, Career & Trade -> Computer Science -> Computer Science, Professional, Career & Trade -> Computer Science -> Information Technology, Professional, Career & Trade -> Computer Science -> Machine Theory, 774, 030, P0513008640
| ISBN-10: | 0080933920 |
|---|---|
| ISBN-13: | 9780080933924 |
| Book pages: | 204 |
| Book language: | English |
| Edition: | 3 |
| Binding: | eBook |
| Publisher: | Elsevier S & T |
| Dimensions: | Page Fidelity |
