Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt.
Series Cambridge tracts in theoretical computer science ; 47Detalles de publicación: Cambridge : Cambridge University, 1998.Descripción: xi, 423 p. : il. ; 24 cmISBN:- 0521641705
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F3 R719 | Disponible | 18293 |
Total de reservas: 0