Saltar al contenido
VuFind
  • Lenguaje
    • English
    • Español
Avanzado
  • Buscar
  • Process Algebras for Petri Net...
  • Descripción
  • Citar
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
    • Exportar a MARC
    • Exportar a RDF
    • Exportar a BibTeX
    • Exportar a RIS
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
Código QR

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.
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Ejemplares similares
  • Vista Equipo
Descripción
Descripción Física:XIII, 302 p. 64 illus., 4 illus. in color. : online resource.
ISBN:9783319555591

Ejemplares similares

  • Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers /
    Publicado: (2017)
  • The Incomputable : Journeys Beyond the Turing Barrier /
    Publicado: (2017)
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /
    Publicado: (2017)
  • Discrete, Continuous, and Hybrid Petri Nets /
    por: David, René., et al.
    Publicado: (2010)
  • Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
    Publicado: (2017)

© Copyright 2024, Todos los Derechos Reservados SIIDCA-CSUCA

Cargando...