Format:
1 Online-Ressource (IX, 174 Seiten)
,
Illustrationen, Diagramme
ISBN:
9783030232207
Series Statement:
Lecture notes in computer science 11563
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-23219-1
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-23221-4
Language:
English
Subjects:
Computer Science
Keywords:
Algebraische Spezifikation
;
Formale Spezifikationstechnik
;
Formale Spezifikationstechnik
;
Konferenzschrift
DOI:
10.1007/978-3-030-23220-7
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Fiadeiro, José Luiz 1961-