KOBV-Portal

Treffer pro Seite

Treffer 1 - 2 | 2 Treffer

Sortierung

Online-Ressource

Concise Guide to Software Verification : From Model Checking to Annotation Checking (2023)

Huisman, Marieke ; Wijs, Anton

Cham :Springer International Publishing, | Cham :Springer.

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV049083013

Umfang: 1 Online-Ressource (IX, 248 p. 146 illus., 127 illus. in color).

Ausgabe: 1st ed. 2023

ISBN: 978-3-031-30167-4

Serie: Texts in Computer Science

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-30166-7

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-30168-1

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-30169-8

Sprache: Englisch

DOI: 10.1007/978-3-031-30167-4

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

FU Berlin

TH Brandenburg

HTW Berlin

Charité

BTU Cottbus

Buch

Concise Guide to Software Verification : From Model Checking to Annotation Checking (2023)

Huisman, Marieke ; Wijs, Anton

Cham :Springer International Publishing,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV050338997

Umfang: IX, 248 p. 146 illus., 127 illus. in color.

Ausgabe: 1st ed. 2023

ISBN: 978-3-031-30166-7

Serie: Texts in Computer Science

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-031-30167-4

Sprache: Englisch

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Treffer 1 - 2 | 2 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 9783031306174?

Meinten Sie 9783031101274?

Meinten Sie 9783031304774?

Kooperativer Bibliotheksverbund

Berlin Brandenburg