Name: semantics and algebraic specification
SKU: 3427248
Price: 980.00 ZAR
Availability: InStock
ISBN: 9783642041631

Select your country

Americas

Europe

Rest of the world

portada semantics and algebraic specification

Type

Physical Book

Publisher

Springer

Language

English

Pages

409

ISBN

3642041639

ISBN13

9783642041631

Synopsis "semantics and algebraic specification"

this festschrift volume, published to honor peter d. mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of peters coauthors, collaborators, close colleagues, and former students. peter d. mosses is known for his many contributions in the area of formal program semantics. in particular he developed action semantics, a combination of denotational, operational and algebraic semantics. the presentations - given on a symposium in his honor in udine, italy, on september 10, 2009 - were on subjects related to peters many technical contributions and they were a tribute to his lasting impact on the field. topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews