-
Abstraction, Refinement and Proof for Probabilistic Systems
EbookSofort lieferbarProbabilistic techniques are increasingly being...
-
Formal Methods: Foundations and Applications
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
Theoretical Aspects of Computing - ICTAC 2009
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
The Science of Quantitative Information Flow
EbookSofort lieferbarThis book presents a comprehensive mathematical...
-
-
Tales from The Lake: Volume 3
EbookSofort lieferbarDive into the deep end of the lake with 18 tale...
-
On the Refinement Calculus
EbookSofort lieferbarOn the Refinement Calculus gives one view of th...
-
The Court Reconvenes: Courtly Literature Across the Disciplines
EbookSofort lieferbar29 studies of courtly literature from six diffe...
-
Mathematics of Program Construction
TaschenbuchPrint on DemandNot very long ago, the uninhibited use of mathe...
-
The Fork-In-The-Road Indian Poetry Store
TaschenbuchPrint on DemandNATIVE WRITERS CIRCLE OF THE AMERICAS FIRST BOO...
-
On the Refinement Calculus
TaschenbuchPrint on DemandOn the Refinement Calculus gives one view of th...
-
Folgen Sie uns auf:
