Concise Guide to Software Verification From Model Checking to Annotation Checking

Concise Guide to Software Verification From Model Checking to Annotation Checking

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Huisman, Marieke (VerfasserIn), Wijs, Anton (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham Springer International Publishing 2023
Cham Springer
Ausgabe:1st ed. 2023
Schriftenreihe:Texts in Computer Science
Schlagworte:
Software Testing
Software Engineering
Computational Number Theory
Computer programs—Testing
Software engineering
Number theory
Online-Zugang:DE-522
DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource (IX, 248 p. 146 illus., 127 illus. in color)
ISBN:9783031301674
ISSN:1868-095X
DOI:10.1007/978-3-031-30167-4

Ähnliche Einträge