Semantics with Applications: An Appetizer (Paperback, 2007 ed.)

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

General

Imprint:	Springer London
Country of origin:	United Kingdom
Series:	Undergraduate Topics in Computer Science
Release date:	April 2007
First published:	2007
Authors:	Hanne Riis Nielson • Flemming Nielson
Dimensions:	254 x 178 x 16mm (L x W x T)
Format:	Paperback
Pages:	274
Edition:	2007 ed.
ISBN-13:	978-1-84628-691-9
Categories:	Books > Computing & IT > Computer programming > Programming languages > General
LSN:	1-84628-691-3
Barcode:	9781846286919

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!