Buch beschaffen
Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts
Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate…
Printexemplar erwerben
Selbstverständlich können Sie das Buch auch in Ihrer Buchhandlung vor Ort bestellen.
Bibliotheken können zudem unsere eBooks bei ProQuest beziehen.
Geschäftskunden bestellen bitte direkt beim Verlag Dr. Kovač, gern auch per E-Mail.
In den Bibliotheken
Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.