James Woodcock – författare
Visar alla böcker från författaren James Woodcock. Handla med fri frakt och snabb leverans.
2 produkter
Ego Flip
How to Reset Your Leadership Life
Häftad, 2024
279 kr
Lägg i varukorg
To know who you are is the perennial question of leadership. A leader will never understand the world and their role within it, until they understand where they are looking from. Such a leader will inevitably not lead but be led. This important book explores the paradox of self-reference that lies …
FME '96: Industrial Benefit and Advances in Formal Methods
Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.
Av Marie-Claude Gaudel, James Woodcock
Häftad, 1996
1131 kr
Lägg i varukorg
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons …
