Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
561 kr
Recent Trends in Algebraic Development Techniques
14th International Workshop, WADT ''99, Chateau de Bonas, September 15-18, 1999 Selected Papers
AvPeter Mosses,Christine Choppy
E-bok
PDF, Engelska, 2004708 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
Foundations of Computer Software: Future Trends and Techniques for Development
Christine Choppy, Oleg Sokolsky
Häftad, 2010
561 kr
Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Häftad, 2005
561 kr
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
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Häftad, 2003
1 114 kr
ZB 2003: Formal Specification and Development in Z and B
Marina Walden, Steve King, Jonathan P. Bowen, Didier Bert
E-bok
20031 408 kr
Recent Trends in Algebraic Development Techniques
Fernando Orejas, Peter Mosses, Jose Luiz Fiadeiro
E-bok
2005708 kr
Foundations of Computer Software: Future Trends and Techniques for Development
Oleg Sokolsky, Christine Choppy
E-bok
2010708 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