Liebe Besucherinnen und Besucher,
aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.
Ihr Team von Sack Fachmedien
Buch, Deutsch, Englisch, 228 Seiten, Format (B × H): 170 mm x 242 mm, Gewicht: 418 g
Reihe: Informatik aktuell
Buch, Deutsch, Englisch, 228 Seiten, Format (B × H): 170 mm x 242 mm, Gewicht: 418 g
Reihe: Informatik aktuell
ISBN: 978-3-540-55568-1
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM — korrekter Entwurf von Kommunkationssoftware.- LOTOS Design Methodology Based on ODP-Viewpoints.- An introduction to compositional methods for concurrency and their application to real-time.- Rapid Prototyping von Estelle-Spezifikationen.- Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen.- A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch.- Testfallgenerierung aus Petri-Netzen — Probleme, Konzepte, Systeme.- Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme.- Differences between Estelle and LOTOS Descriptions of a Protocol.- Autorenverzeichnis.
Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM — korrekter Entwurf von Kommunkationssoftware.- LOTOS Design Methodology Based on ODP-Viewpoints.- An introduction to compositional methods for concurrency and their application to real-time.- Rapid Prototyping von Estelle-Spezifikationen.- Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen.- A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch.- Testfallgenerierung aus Petri-Netzen — Probleme, Konzepte, Systeme.- Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme.- Differences between Estelle and LOTOS Descriptions of a Protocol.- Autorenverzeichnis.
