Name: foundations of software science and computational structures
SKU: 3427198
Price: 1865.00 TWD
Availability: InStock
ISBN: 9783642005954

Select your country

Americas

Europe

Rest of the world

portada foundations of software science and computational structures

foundations of software science and computational structures

Type

Physical Book

Publisher

Springer

Language

English

Pages

471

ISBN

3642005950

ISBN13

9783642005954

Synopsis "foundations of software science and computational structures"

this book constitutes the refereed proceedings of the 12th international conference on foundations of software science and computational structures, fossacs 2009, held in york, uk, in march 2009, as part of etaps 2009, the european joint conferences on theory and practice of software. the 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. the topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and 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