9783540216711 - formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, revised papers (lecture notes in computer science, 2791, band 2791) von larsen, kim g.; niebert, peter (3 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (3)

  • Neu (3)

bis

Benutzerdefinierte Preisspanne (EUR)

bis