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

Your search for Carroll Morgan

  1. Cover: The Science of Quantitative Information Flow - Springer
    Mário S. Alvim | Konstantinos Chatzikokolakis | Annabelle McIver
    The Science of Quantitative Information Flow
    09/2020
    Springer
    9783319961316 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: Formal Methods: Foundations and Applications - Springer
    Adenilso Simao | Carroll Morgan
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    11/2011
    Springer
    9783642250323 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Programming Methodology - Springer
    Annabelle Mclver | Carroll Morgan
    Programming Methodology
    12/2012
    Springer
    9780387217987 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Formal Methods: Foundations and Applications - Springer
    Adenilso Simao | Carroll Morgan
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    10/2011
    Springer
    9783642250316 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Formal Methods, Informally - Cambridge University Press
    Carroll Morgan
    Formal Methods, Informally
    How to Write Programs That Work
    02/2026
    Cambridge University Press
    9781009421027 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €50.00
    Shipment within 15-20 days
  6. Cover: Formal Methods, Informally - Cambridge University Press
    Carroll Morgan
    Formal Methods, Informally
    How to Write Programs That Work
    02/2026
    Cambridge University Press
    9781009420990 (ISBN)
    Book
    Hardback
    Other editions
    €111.50
    Shipment within 15-20 days
  7. Cover: The Science of Quantitative Information Flow - Springer
    Mário S. Alvim | Konstantinos Chatzikokolakis | Annabelle McIver
    The Science of Quantitative Information Flow
    09/2020
    Springer
    9783319961293 (ISBN)
    Book
    Hardback
    Other editions
    €64.19
    Shipment within 10-15 days
  8. Cover: Programming Methodology - Springer
    Annabelle Mclver | Carroll Morgan
    Programming Methodology
    10/2002
    Springer
    9780387953496 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 5-7 days
  9. Cover: When God Speaks, Obey! - ARPress
    Carroll Morgan
    When God Speaks, Obey!
    02/2024
    ARPress
    9798893565645 (ISBN)
    Book
    Paperback/Softback
    €20.30
    Shipment within 10-20 days
  10. Cover: Programming Methodology - Springer
    Annabelle Mclver | Carroll Morgan
    Programming Methodology
    12/2010
    Springer
    9781441929648 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 15-20 days
  11. Cover: When God Speaks, Obey! - Author Reputation Press, LLC
    Carroll Morgan
    When God Speaks, Obey!
    02/2023
    Author Reputation Press, LLC
    9798888534014 (ISBN)
    Book
    Paperback/Softback
    €29.19
    Not available
  12. Cover: On the Refinement Calculus - Springer
    Carroll Morgan | Trevor Vickers
    On the Refinement Calculus
    12/1994
    Springer
    9783540199311 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: On the Refinement Calculus - Springer
    Carroll Morgan | Trevor Vickers
    On the Refinement Calculus
    12/1993
    Springer
    9783540198093 (ISBN)
    Book
    Hardback
    Other editions
    €85.55
    Exhausted; check different version
  14. Cover: Programming Methodology - Springer
    Annabelle Mclver | Carroll Morgan
    Programming Methodology
    10/2002
    Springer
    9781468495690 (ISBN)
    Book
    Paperback/Softback
    €42.99
    Not available
  15. Cover: The Memoirs of a Small Town Christian Police Officer - Christian Faith Publishing, Inc.
    Carroll Morgan
    The Memoirs of a Small Town Christian Police Officer
    05/2017
    Christian Faith Publishing, Inc.
    9781640281240 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €31.92
    No shipping information available
  16. This image is currently not available.
    Carroll Morgan
    Programming from Specifications
    01/1990
    Prentice Hall
    9780137262250 (ISBN)
    Book
    Hardback
    Other editions
    €49.52
    Exhausted; check for reprint
    New edition available
  17. This image is currently not available.
    Carroll Morgan
    Programming from Specifications
    01/1990
    Prentice-Hall
    9780137262335 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €29.65
    Exhausted; check for reprint
    New edition available
  18. This image is currently not available.
    Carroll Morgan
    Programming from Specifications
    06/1994
    2nd EDN2nd Edition
    Prentice Hall
    9780131232747 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €41.40
    Exhausted; no reprint
  19. This image is currently not available.
    Carroll Morgan | Jim C.P. Woodcock
    3rd Refinement Workshop
    Proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hurslay Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park
    04/1991
    Springer
    9783540196242 (ISBN)
    Book
    Paperback/Softback
    €85.55
    Exhausted; no reprint
  20. This image is currently not available.
    Carroll Morgan
    On the Refinement Calculus
    01/1994
    Springer
    9780387198095 (ISBN)
    Book
    Hardback
    €45.95
    No shipping information available
    2. of 2