Relational and Algebraic Methods in Computer Science (Paperback)

Wolfram Kahl

ISBN 10: 3319247034 ISBN 13: 9783319247038

Verlag: Springer International Publishing AG, Cham, 2015

Neu Paperback

Verk�ufer Grand Eagle Retail, Bensenville, IL, USA Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 12. Oktober 2005

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

Paperback. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verk�ufers 9783319247038

Diesen Artikel melden

Inhaltsangabe:

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.

��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, Cham
Erscheinungsdatum: 2015
Einband: Paperback
Zustand: new
Auflage: 1. Auflage

Beste Suchergebnisse bei AbeBooks

Foto des Verk�ufers

Relational and Algebraic Methods in Computer Science

Kahl, Wolfram|Winter, Michael|Oliveira, Jos�

Verlag: Springer International Publishing, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

Neu Kartoniert / Broschiert

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers p. Bestandsnummer des Verk�ufers 61231694

Verk�ufer kontaktieren

Neu kaufen

EUR 48,37

EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Relational and Algebraic Methods in Computer Science | 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Wolfram Kahl (u. a.)

Verlag: Springer, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

Neu Taschenbuch

Print-on-Demand

Anbieter: preigu, Osnabr�ck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Relational and Algebraic Methods in Computer Science | 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings | Wolfram Kahl (u. a.) | Taschenbuch | x | Englisch | 2015 | Springer | EAN 9783319247038 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Bestandsnummer des Verk�ufers 104274769

Verk�ufer kontaktieren

Neu kaufen

EUR 50,25

EUR 70,00 Versand
Versand von Deutschland nach USA

Anzahl: 5 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, ... Computer Science and General Issues)

Verlag: Springer, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers ABLIING23Mar3113020091668

Verk�ufer kontaktieren

Neu kaufen

EUR 51,77

EUR 3,37 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Relational and Algebraic Methods in Computer Science : 15th International Conference, Ramics 2015

Kahl, Wolfram (EDT); Winter, Michael (EDT); Oliveira, Jos� (EDT)

Verlag: Springer, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 24493486-n

Verk�ufer kontaktieren

Neu kaufen

EUR 52,93

EUR 2,23 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Relational and Algebraic Methods in Computer Science

Wolfram Kahl

Verlag: Springer International Publishing, Springer International Publishing Nov 2015, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch. Bestandsnummer des Verk�ufers 9783319247038

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

EUR 60,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Wolfram Kahl

Verlag: Springer International Publishing, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

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 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics. Bestandsnummer des Verk�ufers 9783319247038

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

EUR 63,08 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Relational and Algebraic Methods in Computer Science

Wolfram Kahl

Verlag: Springer International Publishing Nov 2015, 2015

ISBN 10: 3319247034 ISBN 13: 9783319247038

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics. 408 pp. Englisch. Bestandsnummer des Verk�ufers 9783319247038

Verk�ufer kontaktieren