Martin C. Henson - Böcker

Visar alla böcker från författaren Martin C. Henson.

3 produkter

Kategorier

3 produkter

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Av Didier Bert, Jonathan P. Bowen m. fl

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Logics of Specification Languages

Av Dines Bjørner, Martin C. Henson

Inbunden, Engelska, 2007

2 129 kr

Skickas inom 10-15 vardagar

Logics of Specification Languages

Av Dines Bjørner, Martin C. Henson

Häftad, Engelska, 2010

2 129 kr

Skickas inom 10-15 vardagar