Artículos relacionados a First-Order Dynamic Logic

Harel, D. First-Order Dynamic Logic ISBN 13: 9783662174500

First-Order Dynamic Logic - Tapa blanda

Harel, D.

 
9783662174500: First-Order Dynamic Logic
Tapa blanda
ISBN 10: 3662174502 ISBN 13: 9783662174500
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

I: Binary-relation semantics.- II: Computation-tree semantics.

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

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662174502
ISBN 13 
9783662174500
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
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

9783540092377: First-Order Dynamic Logic: 68 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540092374 ISBN 13:  9783540092377
Editorial: Springer, 2008
Tapa blanda