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: 19325 HUF
Availability: InStock

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

Szerző: Wolfram Kahl, Timothy G. Griffin

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 325 Ft

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

Információk a könyvről

Szerző

Wolfram Kahl, Timothy G. Griffin

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

361

EAN

9783642333132

ISBN

3642333133

Enbook ID

01662112

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

569

Méretek

155 x 235 x 21

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Relational and Algebraic Methods in Computer Science

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták