26 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
26 results

Your search for Jim Woodcock

  1. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2021
    1st EDN1st Edition
    Springer
    9783030664947 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  2. Cover: Dependable Software Engineering. Theories, Tools, and Applications - Springer
    Shengchao Qin | Jim Woodcock | Wenhui Zhang
    Dependable Software Engineering. Theories, Tools, and Applications
    7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
    11/2021
    Springer
    9783030912659 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  3. Cover: Theories of Programming and Formal Methods - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Theories of Programming and Formal Methods
    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    07/2013
    Springer
    9783642396984 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Theoretical Aspects of Computing -- ICTAC 2013 - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Theoretical Aspects of Computing -- ICTAC 2013
    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    08/2013
    Springer
    9783642397189 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Unifying Theories of Programming and Formal Engineering Methods - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Unifying Theories of Programming and Formal Engineering Methods
    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    08/2013
    Springer
    9783642397219 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Theoretical Aspects of Computing - Springer
    Ana Cavalcanti | David Deharbe | Marie-Claude Gaudel
    Theoretical Aspects of Computing
    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    08/2010
    Springer
    9783642148088 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Formal Methods and Software Engineering - Springer
    Jin Song Dong | Jim Woodcock
    Formal Methods and Software Engineering
    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
    11/2003
    Springer
    9783540398936 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  8. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2022
    Springer
    9783030664961 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 7-9 days
  9. Cover: Theoretical Aspects of Computing - Springer
    Ana Cavalcanti | David Deharbe | Marie-Claude Gaudel
    Theoretical Aspects of Computing
    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    08/2010
    1st EDN1st Edition
    Springer
    9783642148071 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  10. Cover: Software Engineering for Robotics - Springer
    Ana Cavalcanti | Brijesh Dongol | Rob Hierons
    Software Engineering for Robotics
    07/2021
    Springer
    9783030664930 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 7-9 days
  11. Cover: Dependable Software Engineering. Theories, Tools, and Applications - Springer
    Shengchao Qin | Jim Woodcock | Wenhui Zhang
    Dependable Software Engineering. Theories, Tools, and Applications
    7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
    11/2021
    Springer
    9783030912642 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 7-9 days
  12. Cover: Refinement Techniques in Software Engineering - Springer
    Ana Cavalcanti | Augusto Sampaio | Jim Woodcock
    Refinement Techniques in Software Engineering
    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    09/2006
    Springer
    9783540462538 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Domain Modeling and the Duration Calculus - Springer
    Chris George | Zhiming Liu | Jim Woodcock
    Domain Modeling and the Duration Calculus
    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    08/2007
    Springer
    9783540749639 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  14. Cover: Theories of Programming and Formal Methods - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Theories of Programming and Formal Methods
    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    07/2013
    Springer
    9783642396977 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Theoretical Aspects of Computing -- ICTAC 2013 - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Theoretical Aspects of Computing -- ICTAC 2013
    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    07/2013
    Springer
    9783642397172 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  16. Cover: Unifying Theories of Programming and Formal Engineering Methods - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Unifying Theories of Programming and Formal Engineering Methods
    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    07/2013
    Springer
    9783642397202 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  17. Cover: Formal Methods: Foundations and Applications - Springer
    Marcel Vinícius Medeiros Oliveira | Jim Woodcock
    Formal Methods: Foundations and Applications
    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    11/2009
    Springer
    9783642104510 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  18. Cover: App Design - Apple Press
    Jim Woodcock
    App Design
    How to Conceive, Design and Market Apps
    Apple Press
    9781845434069 (ISBN)
    Book
    Spiral bound
    €36.08
    The article will not be published
  19. Cover: Verified Software: Theories, Tools, Experiments - Springer
    Natarajan Shankar | Jim Woodcock
    Verified Software: Theories, Tools, Experiments
    Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
    09/2008
    Springer
    9783540878728 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  20. Cover: Formal Methods and Hybrid Real-Time Systems - Springer
    Cliff B. Jones | Zhiming Liu | Jim Woodcock
    Formal Methods and Hybrid Real-Time Systems
    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    09/2007
    Springer
    9783540752202 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
    2. of 2