A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science. The author follows the successful formula of his first book on this subject, this time making these core computing topics more fundamental and providing a...
| Main Author: | Parkes, Alan P. (Author) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2008.
|
| Series: | Undergraduate Topics in Computer Science,
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
Published: (2005) -
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Published: (2016) -
Time for Verification Essays in Memory of Amir Pnueli /
Published: (2010) -
Fundamentals of Algebraic Graph Transformation
by: Ehrig, Hartmut, et al.
Published: (2006) -
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
Published: (2016)