Artículos relacionados a 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 - Tapa blanda

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

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2015
Idioma
Inglés
ISBN 10 
3319247050
ISBN 13 
9783319247052
Encuadernación
Paperback
Contacto del fabricante
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3319247034 ISBN 13:  9783319247038
Editorial: Springer, 2015
Tapa blanda