Format:
xxvii, 537 Seiten
,
Illustrationen, Diagramme
ISBN:
9783030510732
Series Statement:
Lecture notes in computer science 12166
In:
1
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-51074-9
Language:
English
Keywords:
Mathematische Logik
;
Software Engineering
;
Konferenzschrift
;
Konferenzschrift