Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
Häftad, 2000
573 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, 2004739 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
573 kr
Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Häftad, 2005
573 kr
ZB 2002: Formal Specification and Development in Z and B
Ken Robinson, Martin C. Henson, Jonathan P. Bowen, Didier Bert
E-bok
2003718 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 139 kr
ZB 2003: Formal Specification and Development in Z and B
Marina Walden, Steve King, Jonathan P. Bowen, Didier Bert
E-bok
20031 455 kr
Recent Trends in Algebraic Development Techniques
Fernando Orejas, Peter Mosses, Jose Luiz Fiadeiro
E-bok
2005739 kr
Foundations of Computer Software: Future Trends and Techniques for Development
Oleg Sokolsky, Christine Choppy
E-bok
2010739 kr
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
556 kr