Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 6
Erscheinungsjahr
  • 1
  • 3
  • 2
  • 2
  • 4
Autoren
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 12
  • 1
  • 4
  • 1
  • 1
  • 1
Verlag
  • 1
  • 9
  • 1
  • 1
Preis
  • 2
  • 5
  • 5
Sprachen
  • 12
Verfügbarkeit
  • 12
Katalog
  • 12
12  Treffer  für „Veith, Helmut“
    Grumberg / Veith | 25 Years of Model Checking | eBook | Sack Fachmedien
    E-Book

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    2008
    Verlag: Springer
    ISBN: 978-3-540-69850-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    37,44 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dawar / Veith | Computer Science Logic | Buch | Sack Fachmedien

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39799-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grumberg / Veith | 25 Years of Model Checking | Buch | Sack Fachmedien

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | Buch | Sack Fachmedien

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawar / Veith | Computer Science Logic | eBook | Sack Fachmedien
    E-Book

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15205-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cervesato / Veith / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | eBook | Sack Fachmedien
    E-Book

    Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-89439-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cervesato / Veith / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89438-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Henzinger / Veith | Handbook of Model Checking | Buch | Sack Fachmedien

    Clarke / Henzinger / Veith Handbook of Model Checking

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-13233-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Henzinger / Veith | Handbook of Model Checking | eBook | Sack Fachmedien
    E-Book

    Clarke / Henzinger / Veith Handbook of Model Checking

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10575-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bloem / Clarke / Henzinger | Handbook of Model Checking | Buch | Sack Fachmedien

    Bloem / Clarke / Henzinger Handbook of Model Checking

    1. Auflage 2018
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-319-10574-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Clarke / Grumberg / Kroening | Model Checking, second edition | eBook | Sack Fachmedien
    E-Book

    Clarke / Grumberg / Kroening Model Checking, second edition

    Erscheinungsjahr 2018
    Verlag: MIT Press
    ISBN: 978-0-262-34945-1
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    77,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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