ZB 2003: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Häftad, 2003
1 112 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, 2003712 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 459 kr
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
543 kr
Recent Trends in Algebraic Development Techniques
Peter Mosses, Christine Choppy, Didier Bert
E-bok
2004734 kr
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
559 kr