Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 5
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 11
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
Verlag
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
Preis
  • 2
  • 5
  • 4
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Grumberg, Orna“
    Grumberg | Computer Aided Verification | Buch | Sack Fachmedien

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Huth | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-71209-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grumberg / Huth | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71208-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Nipkow / Grumberg | Software Safety and Security | eBook | Sack Fachmedien
    E-Book

    Nipkow / Grumberg Software Safety and Security

    Tools for Analysis and Verification
    1. Auflage 2012
    Verlag: SAGE Publications
    ISBN: 978-1-61499-028-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    165,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Veith / Grumberg | 25 Years of Model Checking | Buch | Sack Fachmedien

    Veith / Grumberg 25 Years of Model Checking

    History, Achievements, Perspectives
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Grumberg | Software Safety and Security | Buch | Sack Fachmedien

    Nipkow / Grumberg Software Safety and Security

    Tools for Analysis and Verification
    1. Auflage 2012
    Verlag: IOS Press
    ISBN: 978-1-61499-027-7
    Medium: Buch
    136,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ESPARZA / Esparza / Grumberg | DEPENDABLE SOFTWARE SYSTEMS ENGINEERING | Buch | Sack Fachmedien

    ESPARZA / Esparza / Grumberg DEPENDABLE SOFTWARE SYSTEMS ENGINEERING

    1. Auflage 2016
    Verlag: IOS PRESS
    ISBN: 978-1-61499-626-2
    Medium: Buch
    138,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Kaminski / Katz | Languages: From Formal to Natural | Buch | Sack Fachmedien

    Grumberg / Kaminski / Katz Languages: From Formal to Natural

    Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01747-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Kaminski / Katz | Languages: From Formal to Natural | eBook | Sack Fachmedien
    E-Book

    Grumberg / Kaminski / Katz Languages: From Formal to Natural

    Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-01748-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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