ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Häftad, 2003
1 114 kr
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, 2003687 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
Marina Walden, Steve King, Jonathan P. Bowen, Didier Bert
E-bok
20031 408 kr
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
544 kr
Recent Trends in Algebraic Development Techniques
Peter Mosses, Christine Choppy, Didier Bert
E-bok
2004708 kr
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
561 kr
Sandor Ferenczi - Ernest Jones
Sandor Ferenczi, Ernest Jones, Ferenc Eros, Ken Robinson, Judit Szekacs-Weisz
Häftad, 2013
477 kr