Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /

Detalles Bibliográficos
Autor principal: Gorrieri, Roberto. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Monographs in Theoretical Computer Science. An EATCS Series,
Materias:
Computers.
Mathematical logic.
Software engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Software Engineering/Programming and Operating Systems.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia Disponible

Ejemplares similares