Martin C. Henson – författare

Visar alla böcker från författaren .

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
AvDidier Bert,Jonathan P. Bowenm. fl.
Häftad, Engelska, 2002
709 kr
Skickas inom 10-15 vardagar
Logics of Specification Languages
AvDines Bjørner,Martin C. Henson
Inbunden, Engelska, 2007
2 169 kr
Skickas inom 10-15 vardagar
Logics of Specification Languages
AvDines Bjørner,Martin C. Henson
Häftad, Engelska, 2010
2 169 kr
Skickas inom 10-15 vardagar