ZB 2002: Formal Specification and Development in Z and B
Ken Robinson, Martin C. Henson, Jonathan P. Bowen, Didier Bert
E-bok
2003687 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 408 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 114 kr
ZB 2000: Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Häftad, 2000
561 kr
ZB 2000: Formal Specification and Development in Z and B
Steve King, Andy Galloway, Steve Dunne, Jonathan P. Bowen
E-bok
2003708 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
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 367 kr
Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
561 kr