- Nyhet
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
Refinement Techniques in Software Engineering
Jim Woodcock, Augusto Sampaio, Ana Cavalcanti
E-bok
2006739 kr
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Inbunden, 2021
1 326 kr
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Häftad, 2022
1 326 kr
Theoretical Aspects of Computing
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
Häftad, 2010
573 kr
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Häftad, 2006
573 kr
Software Engineering for Robotics
Jim Woodcock, Jon Timmis, Rob Hierons, Brijesh Dongol, Ana Cavalcanti
E-bok
20211 682 kr
FME '96: Industrial Benefit and Advances in Formal Methods
Marie-Claude Gaudel, James Woodcock
Häftad, 1996
1 139 kr
Unifying Theories of Programming
Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Häftad, 2013
528 kr
Unifying Theories of Programming
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhard Wolff
E-bok
2013690 kr