Relational and Algebraic Methods in Computer Science
. Ed(s): Hofner, Peter; Jipsen, Peter; Kahl, Wolfram; Muller, Martin L.
ISBN 10: 3319062506 ISBN 13: 9783319062501
Verlag: Springer International Publishing AG, 2014
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Editor(s): Hofner, Peter; Jipsen, Peter; Kahl, Wolfram; Muller, Martin L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 475 pages, 28 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 724. . 2014. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783319062501
Inhaltsangabe:
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
Von der hinteren Coverseite:
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Relational and Algebraic Methods in Computer...
Verlag: Springer International Publishing AG
Erscheinungsdatum: 2014
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
ISBN 10: 3319062506
ISBN 13: 9783319062501
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices. Artikel-Nr. 9783319062501
Neu kaufen
EUR 53,49
EUR 63,58 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Relational and Algebraic Methods in Computer Science
ISBN 10: 3319062506
ISBN 13: 9783319062501
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch. Artikel-Nr. 9783319062501
Neu kaufen
EUR 53,49
EUR 60,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar