computer aided verification,17th international conference, cav 2005, edinburgh, scotland, uk, july 6-10, 2005, proceedings
Kousha (Edt) Etessami (Autor) · springer-verlag new york inc · Libro Físico
Sin Stock¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.