Construction and analysis of transition systems with MEC

Construction and analysis of transition systems with MEC

Literaturverz. S. 187 - 189

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Arnold, André (VerfasserIn)
Weitere Verfasser: Begay, Didier (VerfasserIn), Crubille, Paul (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Singapore u.a. World Scientific 1994
Schriftenreihe:AMAST series in computing 3
Schlagworte:
Computer software > Development > Software engineering > Softwareentwicklung > Formale Methode
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturverz. S. 187 - 189
Beschreibung:Includes bibliographical references (p. 187-189) and index
Beschreibung:VII, 192 S
graph. Darst.
ISBN:9810219229
981-02-1922-9