Martin C. Henson – författare

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

3 produkter

Kategorier

3 produkter

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson - ZB 2002: Formal Specification and Development in Z and B, Häftad

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

AvDidier Bert,Jonathan P. Bowenm. fl.

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Martin C. Henson - Logics of Specification Languages, Inbunden

Logics of Specification Languages

AvDines Bjørner,Martin C. Henson

Inbunden, Engelska, 2007

2 159 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Martin C. Henson - Logics of Specification Languages, Häftad

Logics of Specification Languages

AvDines Bjørner,Martin C. Henson

Häftad, Engelska, 2010

2 159 kr

Skickas inom 10-15 vardagar