Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
Add a new Book

Semantics with Applications

Semantics with Applications
Author: Hanne Riis Nielson Flemming Nielson
Url: http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.pdf
Format: Pdf
Category: Compilers and Languages
Pages: 250
Clicks: 1949

The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics, stressing their relationship by formulating and proving relevant theorems, and illustrating the applicability of formal semantics as a tool in computer science.

Similar Books
Working with Objects: The Ooram Software Engineering method
A Compact Guide to Lex & Yacc
Programming in Martin-Lof's Type Theory
Parsing Techniques - A Practical Guide
Advanced Programming Language Design
Programming Languages
Compiler Construction using Flex and Bison
Compiler Design: Theory, Tools, and Examples

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books