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

Relational and Algebraic Methods in Computer Science

  • E-Book (pdf)
  • 361 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and ... Weiterlesen
CHF 72.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
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.



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: 9783642333149
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 12.09.2012
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 4.4 MB
Anzahl Seiten: 361

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"