Name: relational methods in computer science
SKU: 3424913
Price: 54.34 EUR
Availability: InStock
ISBN: 9783540333395

Select your country

Americas

Europe

Rest of the world

portada relational methods in computer science

Type

Physical Book

Publisher

Springer

Language

English

Pages

263

ISBN

3540333398

ISBN13

9783540333395

Synopsis "relational methods in computer science"

this book constitutes the thoroughly refereed joint postproceedings of the 8th international seminar on relational methods in computer science, the 3rd international workshop on applications of kleene algebra, and the workshop of cost action 274: tarski, theory and application of relational structures as knowledge instruments, held st. catharines, ontario, canada in february 2005. the 17 revised full papers presented together with 3 invited papers were carefully selected during two rounds of reviewing and improvement. the papers address foundational and methodological aspects of the calculi of relations and kleene algebra as well as applications of such methods in various areas of computer science and information processing and include such topics as static analysis of programs, representation theory, theories of programming, evolutionary algorithms, verification and quantifier elimination.

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