Artículos relacionados a Compositionality, Concurrency, and Partial Correctness:...

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship - Tapa blanda

Zwiers, Job

 
9783662183823: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Tapa blanda
ISBN 10: 366218382X ISBN 13: 9783662183823
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

The languages DNP and TNP.- The semantics for TNP.- Correctness formulae.- Proof systems for TNP.- Completeness.- The Hoare and Invariant systems.

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

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
366218382X
ISBN 13 
9783662183823
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

9783540508458: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship: 321 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540508457 ISBN 13:  9783540508458
Editorial: Springer, 2008
Tapa blanda