ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

---

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Provably Correct Systems

Produktform: Buch / Einband - flex.(Paperback)

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Produktform: Buch / Einband - flex.(Paperback)