Runtime Verification A Hands-On Approach in Java

Bibliographische Detailangaben

Hauptverfasser:	Colombo, Christian (VerfasserIn), Pace, Gordon J. (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer International Publishing 2022 Cham Springer
Ausgabe:	1st ed. 2022
Schlagworte:	Software Engineering Theory of Computation Mathematics of Computing Mathematical Logic and Foundations Software engineering Computer science Computer science—Mathematics Mathematical logic
Online-Zugang:	BTU01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!