Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 2
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
Verlag
  • 1
  • 1
  • 1
  • 1
  • 4
Preis
  • 1
  • 3
  • 4
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
8  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
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Grumberg | DEPENDABLE SOFTWARE SYSTEMS ENGINEERING | Buch | Sack Fachmedien

    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. 3 bis 4 Wochen
    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. 3 bis 4 Wochen
    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
    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
    183,99 € (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 / 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
    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)
    80,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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