Literatur-Liste "CSP", Fachverlag Dr. Kovač

CSP

Zum Schlagwort CSP ist 1 Buch im Verlag Dr. Kovač erschienen.


1. Jan-Juan Hiemer

Statecharts in CSP

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Hamburg 1999, 190 Seiten
ISBN-13: 978-3-86064-929-9, ISBN-10: 3-86064-929-9

Schlagworte: CSP, Statemate, Statecharts, Systemmodellierung, formale Spezifikation, Verifikation, Übersetzungstechniken
 

Home
 

VDK-Förderfonds 2010

Informationen
Verlagsprogramm
Wie Sie Autor werden
Wir über uns
Bibliotheken &
Buchhandel

Literatur zu
aktuellen Themen
- Literatur-Liste
CSP


Hochschulen-Links
Site Map
 
Kontakt
Presse
Neuerscheinungsdienst
Downloads

"CSP" : Literatur zum Schlagwort


© 20.08.10 Verlag Dr. Kovač
http://www.verlagdrkovac.de, e-mail: info@verlagdrkovac.de

Fachverlag Dr. Kovač
Wissenschaftsverlag Dr. Kovač