KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Tools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings, part I (2022)

TACAS 28. 2022 München ; Fisman, Dana ; Rosu, Grigore ; [weitere]

Cham, Switzerland :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edoccha_BV047916977

Umfang: 1 Online-Ressource.

ISBN: 978-3-030-99524-9

Serie: Lecture notes in computer science 13243

Weitere Ausg.: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-030-99523-2

Sprache: Englisch

Schlagwort(e): Softwareentwicklung ; Systementwicklung ; Systemanalyse ; Programmverifikation ; Hardwareverifikation ; Model Checking ; Entscheidungsverfahren ; Programmiersprache ; Programmierung ; Theoretische Informatik ; Konferenzschrift

DOI: 10.1007/978-3-030-99524-9

URL: Volltext (kostenfrei)

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Volltext

Charité

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg