ISBN: 9783642026515 - model checking software: 16th international s.p.i.n. workshop, grenoble, france, june 26-28, 2009, proceedings (lecture notes in computer science / ... notes in computer science, 5578, band 5578) (2 Ergebnisse)

Optimieren Sie Ihre Suche

  • Bücher (2)

  • Neu (2)

bis

Benutzerdefinierte Preisspanne (EUR)

bis