¡Haga de Unilibro su página inicial!
AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING
Autore
SCHUMANN, JOHANN M.
Editor
SPRINGER-VERLAG
Isbn
9783540679898
Clasificación
Ingeniería. Estudios y Ensayos
Precio
€ 55,05
Se han encontrado 0 comentarios