martin c henson

Grid   List

  1. Poirot - Mord im Orient-Express
    Poirot - Mord im Orient-Express
    David Suchet
    polyband Medien
    DVD
    Sofort lieferbar
    Nicht einmal zwischen zwei Fällen hat der belgische Meisterdetektiv Hercule Poirot seine Ruhe. Gerade aus Syrien zurückgekehrt, wo er einen tragischen Zwischenfall erlebt hat, und auf dem Weg nach ...
    4,47 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  2. Pups! Wer war’s?
    Pups! Wer war’s?
    Mike Henson
    Ravensburger Verlag
    Buch
    Sofort lieferbar
    In dieser humorvollen Reimgeschichte gehen die Kinder auf die Suche nach dem pupsenden Übeltäter.Bei dieser humorvoll gereimten Geschichte bleibt garantiert kein Auge trocken! Zebra, Giraffe, P...
    12,99 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  3. Pups im All! Wer war’s?
    Pups im All! Wer war’s?
    Mike Henson
    Ravensburger Verlag
    Buch
    Sofort lieferbar
    In dieser lustigen Reimgeschichte gehen die Kinder auf die Suche nach dem stinkenden Übeltäter.Bei dieser humorvoll gereimten Geschichte bleibt garantiert kein Auge trocken! Tiger, Gorilla, Kro...
    12,99 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  4. Logics of Specification Languages
    Logics of Specification Languages
    Dines Bjørner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. ZB 2005: Formal Specification and Development in Z and B
    ZB 2005: Formal Specification and Development in Z and B
    Helen Treharne
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    ZB 2005: Formal Specification and Development in Z and B
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. ZB 2002: Formal Specification and Development in Z and B
    ZB 2002: Formal Specification and Development in Z and B
    Didier Bert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with thre...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Logics of Specification Languages
    Logics of Specification Languages
    Martin C. Henson
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications ...
    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Logics of Specification Languages
    Logics of Specification Languages
    Martin C. Henson
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Bezug 11-15
    By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications ...
    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. ZB 2005: Formal Specification and Development in Z and B
    ZB 2005: Formal Specification and Development in Z and B
    Helen Treharne
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesucc...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. ZB 2002: Formal Specification and Development in Z and B
    ZB 2002: Formal Specification and Development in Z and B
    Didier Bert
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. T...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>