Su búsqueda retornó 2 resultados.

Resultados
		Abstract State Machines, Alloy, B and Z [recurso electrónico] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. por Frappier, Marc [editor.] \| Glässer, Uwe [editor.] \| Khurshid, Sarfraz [editor.] \| Laleau, Régine [editor.] \| Reeves, Steve [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5977Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logic for computer science / Steve Reeves, Michael Clarke. por Reeves, Steve \| Clarke, Michael. Tipo de material: Texto Idioma: Inglés Detalles de publicación: Menlo Park, Calif. : Addison-Wesley, 1990Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA9 R44.

Refinar su búsqueda