Didier Bert - Böcker

Visar alla böcker från författaren Didier Bert.
3 produkter
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B, Häftad
Del 2651 - Lecture Notes in Computer Science

ZB 2003: Formal Specification and Development in Z and B

Av Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

Häftad, Engelska, 2003

1 459 kr

Skickas inom 7-10 vardagar
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson - ZB 2002: Formal Specification and Development in Z and B, Häftad
Del 2272 - Lecture Notes in Computer Science

ZB 2002: Formal Specification and Development in Z and B

Av Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

Häftad, Engelska, 2002

719 kr

Skickas inom 7-10 vardagar
Didier Bert, Christine Choppy, Peter Mosses - Recent Trends in Algebraic Development Techniques, Häftad
Del 1827 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

Av Didier Bert, Christine Choppy, Peter Mosses

Häftad, Engelska, 2000

739 kr

Skickas inom 7-10 vardagar