Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Semantics with Applications
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Historically important application areas that are used in conjunction with some interesting potential applications include: Validating prototype implementations of programming languages. Verifying analysis program that is part of the implementation of more advanced programming language.
Computer eBook Details
- ISBN-10: 1846286913
- ISBN-13: 9781846286919
- Publisher: Springer
- Pages: 274
- Date: March 2007
- Series: Undergraduate Topics in Computer Science