Opening book details…
About this computer science book
Modellierung verteilter Systeme : Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen by Peter Ochsenschläger, Rainer Prinoth (auth.) is a computer science book available to read on EtoBox.
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Peter Ochsenschläger, Rainer Prinoth (auth.)
- Publisher
- Vieweg+Teubner Verlag : Imprint : Vieweg+Teubner Verlag
- Published
- 1995
- Language
- DE
- ISBN
- 9783322888419
- Category
- computer science
- Subjects
- Science, Mathematics, Engineering
- Updated
- 2026-03-25
More by Peter Ochsenschläger, Rainer Prinoth (auth.)
Browse all works by Peter Ochsenschläger, Rainer Prinoth (auth.)
Similar books
- Ereignisdiskrete Systeme: Modellierung Und Steuerung Verteilter Systeme — Puente León, Fernando; Kiencke, Uwe (2013)
- Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (eXamen.press) — Christian Haubelt, Jürgen Teich (auth.) (2010)
- Formale Methodik des Entwurfs verteilter objektorientierter Systeme — Rumpe Bernhard (1996)
- Programmentwicklung und Verifikation — Dipl.-Ing. Dr. techn. Gerald Futschek (auth.) (1989)
- Ereignisdiskrete Systeme : Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen; mit 93 Anwendungsbeispielen und 128 Übungsaufgaben — Jan Lunze (2012)
- Messung und Modellierung paralleler und verteilter Rechensysteme — Dr.-Ing. Rainer Klar, Dipl.-Inf. Peter Dauphin, Dr.-Ing. Franz Hartleb, Dr.-Ing. Richard Hofmann, Dr.-Ing. Dipl.-Inf. Bernd Mohr, Dr.-Ing. Andreas Quick, Dipl.-Inf. Markus Siegle M.Sc. (auth.) (1995)