Name: foundations of software science and computation structures
SKU: 3484675
Price: 1865.00 TWD
Availability: InStock
ISBN: 9783540418641

Select your country

Americas

Europe

Rest of the world

portada foundations of software science and computation structures

foundations of software science and computation structures

Type

Physical Book

Publisher

Springer

Language

English

Pages

413

ISBN

3540418644

ISBN13

9783540418641

Synopsis "foundations of software science and computation structures"

this book constitutes the refereed proceedings of the 4th international conference on foundations of software science and computation structures, fossacs 2001, held in genova, italy in april 2001.the 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.

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