El libro está agotado actualmente
Parámetros
Compra de libros
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking, Marc Diefenbruch
- Idioma
- Publicado en
- 1997
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.