Special issue on ABZ 2020 Rigorous State Based Methods

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ABZ (VerfasserIn)
Weitere Verfasser:	Méry, Dominique (HerausgeberIn), Raschke, Alexander (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2021-2022
Schriftenreihe:	Science of computer programming volume 210 (1 October 2021) Science of computer programming volume 211 (1 November 2021) Science of computer programming volume 216 (1 April 2022) Science of computer programming volume 215 (1 March 2022)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Beiträge der Tagung erscheinen in verschiedenen Bänden der Zeitschrift
Beschreibung:	verschiedene Bände Illustrationen, Diagramme