- 10% rabatt på allt
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
AvKen Robinson,Martin C. Henson
E-bok
PDF, Engelska, 2003718 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Häftad, 2003
1 135 kr
ZB 2003: Formal Specification and Development in Z and B
Marina Walden, Steve King, Jonathan P. Bowen, Didier Bert
E-bok
20031 455 kr
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
554 kr
Recent Trends in Algebraic Development Techniques
Peter Mosses, Christine Choppy, Didier Bert
E-bok
2004739 kr
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
571 kr
Industrial-Strength Formal Methods in Practice
Jonathan P. Bowen, Michael G. Hinchey
E-bok
20122 127 kr