Produktinformationen "Formale Beschreibungstechniken für verteilte Systeme"
Formale Beschreibungstechniken für verteilte Systeme
| ISBN: | 9783831686308 |
|---|---|
| Verlag: | utzverlag GmbH |
| Sprache: | Deutsch |
| Seitenzahl: | 268 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Schätz, Bernhard Spies, Katharina |
| Erscheinungsdatum: | 08.07.2022 |
| Verlag: | utzverlag GmbH |
| Untertitel: | 9. GI/ITG Fachgespräch, München, Juni 1999 |
| Schlagworte: | Componentware Generative Sequence Diagrams Graphtransformation Informatik Rechnerarchitektur und Logik-Entwurf Soll/Ist-Abweichungen korrekte zeitkritische Systeme offene verteilte Systeme |