ZB 2002: Formal Specification and Development in Z and B
Ken Robinson, Martin C. Henson, Jonathan P. Bowen, Didier Bert
E-bok
2003712 kr
ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
E-bok
PDF, Engelska, 20031 459 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 112 kr
ZB 2000: Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Häftad, 2000
559 kr
ZB 2000: Formal Specification and Development in Z and B
Steve King, Andy Galloway, Steve Dunne, Jonathan P. Bowen
E-bok
2003734 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
High Performance Computing for Computational Science - VECPAR 2002
Marina Walden, A. Augusto Sousa, Vicente Hernandez, Jack Dongarra, Jose M.L.M. Palma
E-bok
20031 416 kr
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
559 kr