Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Arun-Kumar, S. (VerfasserIn)
Körperschaft: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: New York,NY,United States Association for Computing Machinery 2021
Schriftenreihe:ACM Conferences
Online-Zugang:UBM01
Volltext
Beschreibung:1 Online-Ressource (149 Seiten)
ISBN:9781450391276

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen