Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 3
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 1
Autoren
  • 2
  • 6
  • 2
  • 2
  • 2
Verlag
  • 4
  • 2
Preis
  • 5
  • 1
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Hatcliff, John“
    Hatcliff / Zucca | Formal Techniques for Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Hatcliff / Zucca Formal Techniques for Distributed Systems

    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13464-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Garavel / Hatcliff | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Garavel / Hatcliff Tools and Algorithms for the Construction and Analysis of Systems

    9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-36577-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hatcliff / Zucca | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Hatcliff / Zucca Formal Techniques for Distributed Systems

    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13463-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hatcliff / Garavel | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Hatcliff / Garavel Tools and Algorithms for the Construction and Analysis of Systems

    9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00898-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hatcliff / Thiemann / Mogensen | Partial Evaluation: Practice and Theory | Buch | Sack Fachmedien

    Hatcliff / Thiemann / Mogensen Partial Evaluation: Practice and Theory

    DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66710-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hatcliff / Mogensen / Thiemann | Partial Evaluation: Practice and Theory | eBook | Sack Fachmedien
    E-Book

    Hatcliff / Mogensen / Thiemann Partial Evaluation: Practice and Theory

    DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
    1999
    Verlag: Springer
    ISBN: 978-3-540-47018-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular