John Derrick

Refinement in Z and object-Z

Uitverkocht

John Derrick Refinement in Z and object-Z

4,3

Formal techniques for networked and distributed systems

Uitverkocht

John Derrick Formal techniques for networked and distributed systems

4,3

The image of Ireland

Uitverkocht

John Derrick The image of Ireland

4,3

Integrated formal methods

Uitverkocht

John Derrick Integrated formal methods

4,3

Abstract state machines, alloy, B, VDM, and Z

Uitverkocht

John Derrick Abstract state machines, alloy, B, VDM, and Z

4,3

Refinement

Uitverkocht

John Derrick Refinement

4,3