martin c henson
Logics of Specification Languages
Sofort lieferbarP By a specification language we understand a formal system of syntax, semantics and proof rules...
Logics of Specification Languages
Print on DemandInhaltsangabePreludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom....
Logics of Specification Languages
Print on DemandInhaltsangabePreludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom....
ZB 2002: Formal Specification and Development in Z and B
Print on DemandThese proceedings record the papers presented at the second International Conference of B and Z U...
ZB 2005: Formal Specification and Development in Z and B
Print on DemandThis book constitutes the refereed proceedings of the 4th International Conference of Z and B use...
- 1