Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Logics of Specification Languages
    -0 %

    Logics of Specification Languages

    Martin C Henson
    SPRINGER 05.12.2007 - 2007
    Ebook - Digital online
    Nar: - 624 S., 5.09 MB PDesc:
    Sofort lieferbar - Sofort lieferbar

    P By a specification language we understand a formal system of syntax, semantics and proof rules...

    Unser bisheriger Preis:ORGPRICE: 231,54 €

    Jetzt 146,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Logics of Specification Languages

    Logics of Specification Languages

    Dines Bjørner
    Springer Verlag GmbH 22.11.2010 - 2010
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabePreludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom....

    157,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Logics of Specification Languages

    Logics of Specification Languages

    Dines Bjørner
    Springer Verlag GmbH 07.12.2007 - 2007
    Buch - Gebunden
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    InhaltsangabePreludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom....

    157,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. ZB 2002: Formal Specification and Development in Z and B

    ZB 2002: Formal Specification and Development in Z and B

    Didier Bert
    Springer Verlag GmbH 16.01.2002 - 2002
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    These proceedings record the papers presented at the second International Conference of B and Z U...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. ZB 2005: Formal Specification and Development in Z and B

    ZB 2005: Formal Specification and Development in Z and B

    Helen Treharne
    Springer Verlag GmbH 07.04.2005 - 2005
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 4th International Conference of Z and B use...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1