Using formal description techniques an introduction to ESTELLE, LOTOS and SDL

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Chichester [u.a]. Wiley 1993
Schriftenreihe:	Wiley series in communication and distributed systems
Schlagworte:	Computer programming Formal languages LOTOS > Programmiersprache Verteiltes System Spezifikationssprache ESTELLE SDL
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!