John Derrick U A (5 results)

Author
Refine with Advanced Search

Refine your search

  • Books (5)

  • New (5)

to

Custom price range (US$)

to

    • More images

      Language: English

      Published by Springer, 2012

      3642308848 / 9783642308840

      • Softcover

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 58.75

      US$ 81.07 shipping 
      Ships from Germany to U.S.A.

      Quantity: 1 available

      Taschenbuch. Condition: Neu. Abstract State Machines, Alloy, B, VDM, and Z | Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | John Derrick (u. a.) | Taschenbuch | xv | Englisch | 2012 | Springer | EAN 9783642308840 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17,

    • More images

      Condition: New

      US$ 60.12

      US$ 81.07 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Formal Techniques for Networked and Distributed Systems - FORTE 2007 | 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings | John Derrick (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540731955 | Verantwortliche Person für die EU: Springer Ve

    • More images

      Language: English

      Published by Springer, 2015

      144716167X / 9781447161677

      • Softcover

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 113.63

      US$ 81.07 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Refinement in Z and Object-Z | Foundations and Advanced Applications | John Derrick (u. a.) | Taschenbuch | xviii | Englisch | 2015 | Springer | EAN 9781447161677 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com |

    • More images

      Language: English

      Published by Springer, 2004

      3540213775 / 9783540213772

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 59.95

      US$ 81.07 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Integrated Formal Methods | 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings | Eerke Boiten (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540213772 | Verantwortliche Person für die EU: Springer Nature Customer Service Cen

    • More images

      Language: English

      Published by Cambridge University Press, 2010

      0521168759 / 9780521168755

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 87.03

      US$ 81.07 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Formal Methods for Distributed Processing | A Survey of Object-Oriented Approaches | Howard Bowman (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2010 | Cambridge University Press | EAN 9780521168755 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gps