Luca (University of Iceland Aceto Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Reactive Systems: Modelling, Specification and Verification (Bog, Hardback, Engelsk)
This accessible text describes the process algebraic approach to the specification and verification of software and software systems using... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat