Articles liés à Relational and Algebraic Methods in Computer Science:...

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

 
9783319247052: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Couverture souple
ISBN 10 : 3319247050 ISBN 13 : 9783319247052
Editeur : Springer, 2015

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Theory of relation algebras and Kleene algebras.- Process algebras.- Fixed point calculi.- Idempotent semirings.- Quantales, allegories, and dynamic algebras.- Cylindric algebras.- 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2015
Langue
anglais
ISBN 10 
3319247050
ISBN 13 
9783319247052
Reliure
Paperback
Coordonnées du fabricant
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3319247034 ISBN 13 :  9783319247038
Editeur : Springer, 2015
Couverture souple