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

Your search for John Derrick

  1. Cover: Refinement - Springer
    John Derrick | Eerke Boiten
    Refinement
    Semantics, Languages and Applications
    09/2018
    Springer
    9783319927114 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A. Boiten
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    08/2013
    2nd EDN2nd Edition
    Springer
    9781447153559 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A. Boiten
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    12/2012
    1st EDN1st Edition
    Springer
    9781447102571 (ISBN)
    E-Book
    PDF
    Other editions
    €139.09
    Available for download
    New edition available
  4. Cover: Integrated Formal Methods - Springer
    John Derrick | Stefania Gnesi | Diego Latella
    Integrated Formal Methods
    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642307294 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308857 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Integrated Formal Methods - Springer
    Eerke Boiten | John Derrick | Graeme Smith
    Integrated Formal Methods
    4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
    03/2004
    Springer
    9783540247562 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308840 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Available immediately
  8. Cover: Refinement - Springer
    John Derrick | Eerke Boiten
    Refinement
    Semantics, Languages and Applications
    01/2019
    Springer
    9783030064976 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Integrated Formal Methods - Springer
    John Derrick | Stefania Gnesi | Diego Latella
    Integrated Formal Methods
    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642307287 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Refinement - Springer
    John Derrick | Eerke Boiten
    Refinement
    Semantics, Languages and Applications
    09/2018
    Springer
    9783319927091 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A. Boiten
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    08/2015
    2nd EDN2nd Edition
    Springer
    9781447161677 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  12. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A. Boiten
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    09/2013
    2nd EDN2nd Edition
    Springer
    9781447153542 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days
  13. Cover: Formal Methods for Distributed Processing - Cambridge University Press
    Howard Bowman | John Derrick
    Formal Methods for Distributed Processing
    A Survey of Object-Oriented Approaches
    07/2011
    Cambridge University Press
    9780521168755 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €65.00
    Shipment within 15-20 days
  14. Cover: Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Springer
    John Derrick | Jüri Vain
    Formal Techniques for Networked and Distributed Systems - FORTE 2007
    27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
    06/2007
    Springer
    9783540731955 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Integrated Formal Methods - Springer
    Eerke Boiten | John Derrick | Graeme Smith
    Integrated Formal Methods
    4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
    03/2004
    Springer
    9783540213772 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: Glow Cosmetics Coloring Book for Adults and Kids, Bold and Easy, Simple and Big Designs for Relaxation Featuring Cosmetic Items, Makeup - John S. Derrick Publishing
    John Derrick
    Glow Cosmetics Coloring Book for Adults and Kids, Bold and Easy, Simple and Big Designs for Relaxation Featuring Cosmetic Items, Makeup
    01/2025
    John S. Derrick Publishing
    9784753247134 (ISBN)
    Book
    Paperback/Softback
    €29.19
    Exhausted, reprint undefined
  17. Cover: Formal Methods for Distributed Processing - Cambridge University Press
    Howard Bowman | John Derrick
    Formal Methods for Distributed Processing
    A Survey of Object-Oriented Approaches
    10/2001
    Cambridge University Press
    9780521771849 (ISBN)
    Book
    Hardback
    Other editions
    €180.90
    Shipment within 15-20 days
  18. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A. Boiten
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    05/2001
    Springer
    9781852332457 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €149.79
    Exhausted; check for reprint
    New edition available
  19. Cover: Formal Methods for Open Object-based Distributed Systems - Chapman and Hall
    Howard Bowman | John Derrick
    Formal Methods for Open Object-based Distributed Systems
    Volume 2
    06/1997
    Chapman and Hall
    9780412820403 (ISBN)
    Book
    Hardback
    Other editions
    €212.50
    Shipment within 10-20 days
  20. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A Boiten
    Refinement in Z and Object-Z
    06/2001
    Springer
    9781447102588 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
    2. of 2