Ergebnisse filtern
Fachgebiet
Medium
  • 2
Erscheinungsjahr
  • 1
  • 1
Autoren
  • 2
  • 1
Verlag
  • 1
  • 1
Preis
  • 2
Sprachen
  • 2
Verfügbarkeit
  • 2
Katalog
  • 2

Mathematik | Informatik

2  Treffer  für „Piterman, Nir“
Alle Filter löschen
    Piterman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Piterman Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26286-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Piterman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    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