paul boca
Formal Methods: State of the Art and New Directions
EbookSofort lieferbarThe last decade has witnessed a modest but sustained increase in researching and applying formal ...
Abstract State Machines, B and Z
EbookSofort lieferbarThis book constitutes the refereed proceedings of the First International Conference of Abstract ...
Formal Methods: State of the Art and New Directions
BuchBezug 11-15The last decade has witnessed a modest but sustained increase in researching and applying form...
Formal Methods: State of the Art and New Directions
TaschenbuchBezug 11-15The last decade has witnessed a modest but sustained increase in researching and applying form...
Abstract State Machines, B and Z
TaschenbuchBezug 16-20This book constitutes the refereed proceedings of the First International Conference of Abstract ...
- 1