Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 2
Erscheinungsjahr
  • 1
  • 3
  • 1
  • 1
  • 1
Autoren
  • 1
  • 7
  • 1
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
Verlag
  • 2
  • 2
  • 1
  • 2
Preis
  • 1
  • 3
  • 3
Sprachen
  • 7
Verfügbarkeit
  • 7
Katalog
  • 7
7  Treffer  für „Barringer, Howard“
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banieqbal / Pnueli / Barringer | Temporal Logic in Specification | Buch | Sack Fachmedien

    Banieqbal / Pnueli / Barringer Temporal Logic in Specification

    Altrincham, UK, April 8-10, 1987, Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51803-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer / Gough / Fisher | Advances in Temporal Logic | Buch | Sack Fachmedien

    Barringer / Gough / Fisher Advances in Temporal Logic

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6149-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer / Fisher / Gabbay | Advances in Temporal Logic | eBook | Sack Fachmedien
    E-Book

    Barringer / Fisher / Gabbay Advances in Temporal Logic

    Erscheinungsjahr 2013
    Verlag: Springer Netherland
    ISBN: 978-94-015-9586-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barringer / Gough / Fisher | Advances in Temporal Logic | Buch | Sack Fachmedien

    Barringer / Gough / Fisher Advances in Temporal Logic

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5389-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer / Falcone / Finkbeiner | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Barringer / Falcone / Finkbeiner Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16612-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barringer / Falcone / Finkbeiner | Runtime Verification | Buch | Sack Fachmedien

    Barringer / Falcone / Finkbeiner Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16611-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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