Isbn: 9783540213147 - model checking software: 11th international spin workshop, barcelona, spain, april 1-3, 2004, proceedings (lecture notes in computer science, band 2989) (3 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (3)

  • Neu (3)

bis

Benutzerdefinierte Preisspanne (EUR)

bis