Treffer 1 - 4 von 4 für Suche 'Colombo, Christian', Suchdauer: 2,49s
Treffer weiter einschränken
-
1
Runtime Verification A Hands-On Approach in Java von Colombo, Christian, Pace, Gordon J.
Veröffentlicht 2022Signatur: Wird geladen …BTU01
Standort: Wird geladen …
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
Elektronisch E-Book -
2
Runtime verification A hands-on approach in Java von Colombo, Christian, Pace, Gordon J.
Veröffentlicht 2022Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Runtime verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Colombo, Christian …”
Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
4
Runtime verification 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: “… Colombo, Christian …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Computer science
Software Engineering
Software engineering
Computer science—Mathematics
Computerarchitektur
Formale Methode
Hardwareverifikation
Konferenzschrift
Laufzeitsystem
Mathematical Logic and Foundations
Mathematical logic
Mathematics of Computing
Programmanalyse
Programmlaufzeit
Programmverifikation
Softwarearchitektur
Systemanalyse
Theory of Computation
Computer industry
Computer system performance
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
The Computing Profession