Refinement Techniques in Software Engineering
Jim Woodcock, Augusto Sampaio, Ana Cavalcanti
E-bok
2006708 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, 2010708 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 297 kr
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Häftad, 2022
1 297 kr
Theoretical Aspects of Computing
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
Häftad, 2010
561 kr
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Häftad, 2006
561 kr
Software Engineering for Robotics
Jim Woodcock, Jon Timmis, Rob Hierons, Brijesh Dongol, Ana Cavalcanti
E-bok
20211 611 kr
FME '96: Industrial Benefit and Advances in Formal Methods
Marie-Claude Gaudel, James Woodcock
Häftad, 1996
1 114 kr
Unifying Theories of Programming
Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Häftad, 2013
516 kr
Unifying Theories of Programming
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhard Wolff
E-bok
2013661 kr
TAPSOFT '93: Theory and Practice of Software Development
Marie-Claude Gaudel, Jean-Pierre Jouannaud
Häftad, 1993
1 114 kr