Formal aspects of component software 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FACS (VerfasserIn)
Weitere Verfasser:	Tapia Tarifa, Silvia Lizeth (HerausgeberIn), Proença, José (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2022
Schriftenreihe:	Lecture notes in computer science 13712
Schlagworte:	Formal methods (Computer science) > Computer software > Software engineering > Konferenzschrift > Formale Methode > Objektorientierte Programmierung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	x, 243 Seiten 24 cm
ISBN:	9783031208713 978-3-031-20871-3