-
TaschenbuchBOD - 2 Tage
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...
-
TaschenbuchBOD - 2 Tage
This volume presents the proceedings of the Sixth International Joint Conference on the Theory an...
-
TaschenbuchBOD - 2 Tage
In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Techni...
-
TaschenbuchBOD - 2 Tage
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...
-
TaschenbuchBOD - 2 Tage
Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- Fro...
-
TaschenbuchBOD - 2 Tage
Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Archi...
-
TaschenbuchBOD - 5 Tage
Action Semantics is a novel approach to the formal description of programming languages. Its abst...
- 1