2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Relational and Algebraic Methods in Computer Science

  • Kartonierter Einband
  • 372 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and A... Weiterlesen
CHF 77.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Fast conference proceedings

State-of-the-art report

Up to date results



Inhalt
Applications to Software Specification and Correctness.- Mechanised Resoning in Relational Algebras.- Algebraic Program DerivationTheoretical Foundations.- Incremental Pseudo Rectangular Organization of Information Relative.- Preference Relations.- Properties of Specialised Relations.- Author Index.

Produktinformationen

Titel: Relational and Algebraic Methods in Computer Science
Untertitel: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Editor:
EAN: 9783642333132
ISBN: 3642333133
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 372
Gewicht: 563g
Größe: H235mm x B155mm x T20mm
Jahr: 2012
Untertitel: Englisch
Auflage: 2012

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"