Su búsqueda recuperó 4 resultados.

Resultados
		Abstract domains in constraint programming / Marie Pelleau por Pelleau, Marie [autor]. Series Computer engineering seriesTipo de material: Texto; Forma literaria: No es ficción Editor: London : ISTE Press, 2015Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.612 P45. Agregar al carrito (remover)
		Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge por Hardin, Thérèse [autor] \| Jaume, Mathieu [autor] \| Pessaux, François [autor] \| Donzeau-Gouge, Véronique [autor]. Series Computer engineering seriesTipo de material: Texto; Forma literaria: No es ficción Editor: London : Hoboken, New Jersey : ISTE ; Wiley, [2021]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.7 H363, ... Agregar al carrito (remover)
		Formal methods applied to complex systems : bimplementation of the B Method / edited by Jean-Louis Boulanger por Boulanger, Jean-Louis [editor]. Series Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Hoboken, NJ : ISTE ; Wiley, 2014Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9B22 F67. Agregar al carrito (remover)
		The linear and digital integrated circuits design primer / A. Sudhakar por Sudhakar, A [autor]. Series Electrical and computer engineering seriesTipo de material: Texto; Forma literaria: No es ficción Editor: Hingham, Massachusetts : Charles River Media, c2003Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: TK7874 S835, ... Agregar al carrito (remover)