Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Mechanical Verification of Parameterized Real-Time Systems

Författare:
engelska
99,90 €

Författare
Thomas Göthel
ISBN
9783838134604
Språk
engelska
Vikt
358 gram
Utgivningsdatum
14.8.2012
Sidor
240