Aufsätze & Papers | Elektronische Zeitschriften | Fachdatenbanken | Fernleihe | KITopen-Medienportal | Literaturwunsch | Kataloganleitung

Benutzerdefiniertes Cover

Benutzerdefiniertes Cover

Normale Ansicht MARC-Ansicht ISBD

Proceedings of the 1st Workshop on Formal Arguments for Cps CerTification

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Reihen: ACM Conferences | ACM Digital LibraryVerlag: [Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2025Beschreibung: 14 pISBN:

9798400716072

Weitere Titel:

FACCT '25

Genre/Form:

Konferenzschrift

DOI: DOI: 10.1145/3722571Online-Ressourcen:

Zugang im Netz des KIT

PPN: PPN: 1925772349Package identifier: Produktsigel: ZDB-15-ACM

Exemplare ( 0 )

Dieser Titel hat keine Exemplare