Isbn: 9783540687603 - b 2007: formal specification and development in b: 7th international conference of b users, besancon, france, january 7-19, 2007, proceedings (lecture notes in computer science, 4355, band 4355) (4 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (4)

  • Neu (4)

bis

Benutzerdefinierte Preisspanne (EUR)

bis