Jim Woodcook – författare
Visar alla böcker från författaren Jim Woodcook. Handla med fri frakt och snabb leverans.
6 produkter
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Av Jim Davies, Jim Woodcook m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Av Jim Davies, Jim Woodcook m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Av Jeannette M. Wing, Jim Woodcook m. fl.
Häftad, 1999
1128 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Av Jeannette M. Wing, Jim Woodcook m. fl.
Häftad, 1999
1128 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Av Paulo Borba, Ana Cavalcanti m. fl.
Häftad, 2010
569 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring …
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Av Jim Woodcook, Augusto Sampaio m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring …
