Ergebnisse filtern
Fachgebiet
Medium
  • 2
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 3
  • 1
  • 5
  • 16
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
Verlag
  • 3
Preis
  • 3
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3
3  Treffer  für „McKenzie, P.“
    Berard / Finkel / Bidoit | Systems and Software Verification | Buch | Sack Fachmedien

    Berard / Finkel / Bidoit Systems and Software Verification

    Model-Checking Techniques and Tools
    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-07478-3
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berard / Bidoit / Finkel | Systems and Software Verification | eBook | Sack Fachmedien
    E-Book

    Berard / Bidoit / Finkel Systems and Software Verification

    Model-Checking Techniques and Tools
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-04558-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    139,09 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Berard / Bidoit / Finkel | Systems and Software Verification | Buch | Sack Fachmedien

    Berard / Bidoit / Finkel Systems and Software Verification

    Model-Checking Techniques and Tools
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41523-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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