Skip to content
VuFind
  • Language
    • English
    • Español
Advanced
  • Search
  • Process Algebras for Petri Net...
  • Description
  • Cite this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to RDF
    • Export to BibTeX
    • Export to RIS
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
QR Code

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

Bibliographic Details
Main Author: Gorrieri, Roberto. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Monographs in Theoretical Computer Science. An EATCS Series,
Subjects:
Computers.
Mathematical logic.
Software engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Software Engineering/Programming and Operating Systems.
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View
Description
Physical Description:XIII, 302 p. 64 illus., 4 illus. in color. : online resource.
ISBN:9783319555591

Similar Items

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

© Copyright 2024, Todos los Derechos Reservados SIIDCA-CSUCA

Loading...