Relational and Algebraic Methods in Computer Science : 13th International Con...

Description: Relational and Algebraic Methods in Computer Science : 13th International Conference, Ramics 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings, Paperback by Kahl, Wolfram (EDT); Griffin, Timothy G. (EDT), ISBN 3642333133, ISBN-13 9783642333132, Like New Used, Free shipping in the US 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.

Price: 67.21 USD

Location: Jessup, Maryland

End Time: 2025-01-16T11:44:18.000Z

Shipping Cost: 0 USD

Product Images

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Relational and Algebraic Methods in Computer Science : 13th Inter

Number of Pages: Xii, 361 Pages

Publication Name: Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Language: English

Publisher: Springer Berlin / Heidelberg

Publication Year: 2012

Subject: Software Development & Engineering / General, Computer Science, Algebra / General, Discrete Mathematics

Type: Textbook

Item Weight: 20.1 Oz

Subject Area: Mathematics, Computers

Item Length: 9.3 in

Author: Timothy G. Griffin

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback