Relational and Algebraic Methods in Computer Science

Name: Relational and Algebraic Methods in Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642333132
Price: 214.22 PLN
Availability: InStock

13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Autor: Wolfram Kahl, Timothy G. Griffin

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.22 zł

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International...

Informacje o książce

Autor

Wolfram Kahl, Timothy G. Griffin

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

361

EAN

9783642333132

ISBN

3642333133

Enbook ID

01662112

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

569

Wymiary

155 x 235 x 21

Pełny opis

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Relational and Algebraic Methods in Computer Science

13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również