Didier Bert (u. A.) | Zb 2002: Formal Specification And Development In

Foundations Of Algebraic Specification And Formal Software Development

Bert Didier | B'98: Recent Advances In The Development And Use Of The

Michel Bidoit (u. A.) | Algebraic System Specification And Development

Gemma Bel-enguix (u. A.) | Developments In Formal Languages And

Rolf Drechsler (u. A.) | Formal Specification Level | Buch | Englisch

W. K. Giloi (u. A.) | The Use Of Formal Specification Of Software |

Didier Gondola (u. A.) | The History Of Congo | Buch | Englisch (2002)

Bert Creemers (u. A.) | Teacher Professional Development For

Formal Description Techniques And Protocol Specification, Testing And

Formal Specification Level Concepts, Methods, And Algorithms 3396

Relative Deprivation Specification, Development, And Integration Iain

Formal Development Of A Network-centric Rtos Eric Verhulst (u. A.)

Asterix And The Pechts | Didier Conrad (u. A.) | Englisch |

Developments In Formal Languages And Applications 1220

Gabriel Leen | Development And Formal Verification Of Ttcan |