KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Verified software : theories, tools, and experiments : 11th international conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers (2020)

Chakraborty, Supratik ; VSTTE 11. 2019 New York, NY

Cham : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV046768552

Umfang: xvi, 193 Seiten , Illustrationen, Diagramme

ISBN: 9783030415990

Serie: Lecture notes in computer science 12031

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-030-41600-3

Sprache: Englisch

Schlagwort(e): Verifikation ; Softwarespezifikation ; Spezifikationssprache ; Softwaretest ; Programmanalyse ; Programmverifikation ; Formale Methode ; Software Engineering ; Spezialrechner ; Konferenzschrift ; Konferenzschrift

Mehr zum Autor: Chakraborty, Supratik

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg