Specification and analysis of concurrent systems : the COSY approach / Ryszard Janicki, Peter E. Lauer

Englisch

Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer-Verlag, 1992

© 1992

xii, 480 Seiten : Illustrationen ; 24 cm

Literaturverzeichnis: Seite 407-422

With 128 Figures - Titelblatt

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

3-540-55204-9

0-387-55204-9

*Nebenläufigkeit / Systemanalyse

*Nebenläufigkeit / Spezifikation

*Parallel processing (Electronic computers)

*Nebenläufigkeit ; Systemanalyse ; Nebenläufigkeit ; Spezifikation

Klassifikation der Library of Congress: QA76.58

Dewey Dezimal-Klassifikation: 005.1/2

Regensburger Verbund-Klassifikation: ST 130: SQ-SU Informatik / ST Monografien / Allgemeines

Regensburger Verbund-Klassifikation: ST 265: SQ-SU Informatik / ST Monografien / Datenstruktur, Datenorganisation

Regensburger Verbund-Klassifikation: ST 200: SQ-SU Informatik / ST Monografien / Allgemeines, Netzmanagement

Mathematics Subject Classification: *68-02

Mathematics Subject Classification: 68Q10

Mathematics Subject Classification: 68Q55

Mathematics Subject Classification: 68Q60

http://d-nb.info/920367852/04 [Inhaltsverzeichnis]

https://zbmath.org/?q=an:0765.68007 [Zentralblatt MATH]

kaz

Potsdamer Straße

BIBTEX - ENDNOTE - RIS