-
Formal Methods for Executable Software Models
EbookSofort lieferbarThis book presents 8 tutorial lectures given by...
-
Formal Verification of Object-Oriented Software
EbookSofort lieferbarThis book presents the thoroughly refereed post...
-
Formal Methods for Components and Objects
EbookSofort lieferbarFormal methods have been applied successfully t...
-
Types for Proofs and Programs
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
Coordination Models and Languages
EbookSofort lieferbarDue to the Corona pandemic this event was held ...
-
Types for Proofs and Programs
EbookSofort lieferbarThese proceedings contain a selection of refere...
-
Active Object Languages: Current Research Trends
EbookSofort lieferbarActive Objects are a programming paradigm that ...
-
Formal Methods for Executable Software Models
TaschenbuchPrint on DemandThis book presents 8 tutorial lectures given by...
-
Types for Proofs and Programs
TaschenbuchPrint on DemandThese proceedings contain a selection of refere...
-
Types for Proofs and Programs
TaschenbuchPrint on DemandThese proceedings contain a selection of refere...
-
Formal Verification of Object-Oriented Software
TaschenbuchPrint on DemandThis book presents the thoroughly refereed post...
-
Formal Methods for Components and Objects
TaschenbuchPrint on DemandFormal methods have been applied successfully t...
- 1
- 2
Folgen Sie uns auf:
