Refinement Techniques in Software Engineering
Jim Woodcock, Augusto Sampaio, Ana Cavalcanti
E-bok
2006734 kr
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
AvJim Woodcock,Marie-Claude Gaudel
E-bok
PDF, Engelska, 2010732 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
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Inbunden, 2021
1 291 kr
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Häftad, 2022
1 291 kr
Theoretical Aspects of Computing
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
Häftad, 2010
558 kr
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Häftad, 2006
558 kr
Software Engineering for Robotics
Jim Woodcock, Jon Timmis, Rob Hierons, Brijesh Dongol, Ana Cavalcanti
E-bok
20211 670 kr
FME '96: Industrial Benefit and Advances in Formal Methods
Marie-Claude Gaudel, James Woodcock
Häftad, 1996
1 109 kr
Unifying Theories of Programming
Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Häftad, 2013
514 kr
Unifying Theories of Programming
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhard Wolff
E-bok
2013685 kr
TAPSOFT '93: Theory and Practice of Software Development
Marie-Claude Gaudel, Jean-Pierre Jouannaud
Häftad, 1993
1 109 kr