Semantics and Algebraic Specification

Semantics and Algebraic Specification
Author :
Publisher : Springer Science & Business Media
Total Pages : 418
Release :
ISBN-10 : 9783642041631
ISBN-13 : 3642041639
Rating : 4/5 (31 Downloads)
DOWNLOAD EBOOK
Book Synopsis Semantics and Algebraic Specification by : Jens Palsberg

Download or read book Semantics and Algebraic Specification written by Jens Palsberg and published by Springer Science & Business Media. This book was released on 2009-08-28 with total page 418 pages. Available in PDF, EPUB and Kindle. Book excerpt: proceedings of the symposium. Somecontributorswereunabletoattendthe event.


Semantics and Algebraic Specification Related Books

Semantics and Algebraic Specification
Language: en
Pages: 418

Semantics and Algebraic Specification

Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

proceedings of the symposium. Somecontributorswereunabletoattendthe event.
Action Semantics
Language: en
Pages: 396

Action Semantics

Authors: Peter Mosses
Categories: Computers
Type: BOOK - Published: 1992-08-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools
Language: en
Pages: 523

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

Authors: Martin Gogolla
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2
Intelligent Agents
Language: en
Pages: 1144

Intelligent Agents

Authors: Michael J. Wooldridge
Categories: Computers
Type: BOOK - Published: 1995-01-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is cur
Compiler Construction
Language: en
Pages: 472

Compiler Construction

Authors: Peter A. Fritzson
Categories: Computers
Type: BOOK - Published: 1994-03-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler constructi