Artículos relacionados a Dynamic Logic. New Trends and Applications: Second...

Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Tapa blanda

 
9783030388096: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Tapa blanda
ISBN 10: 3030388093 ISBN 13: 9783030388096
Editorial: Springer, 2020

Esta edición ISBN ya no está disponible.

Sinopsis

Logic and verification.- Dynamic logics.-Modal and temporal logics.-Epistemic logics.- Program semantics.- Program reasoning Pre- and post- conditions.- Program verification.

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

Editorial
Springer
Año de publicación
2020
Idioma
Inglés
ISBN 10 
3030388093
ISBN 13 
9783030388096
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

9783030388072: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings: 12005 (Theoretical Computer Science and General Issues)

Edición Destacada

ISBN 10:  3030388077 ISBN 13:  9783030388072
Editorial: Springer, 2020
Tapa blanda