Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright

By: Back, Ralph-JohanContributor(s): Wright, Joakim vonMaterial type: TextTextSeries: Graduate Texts in Computer SciencePublisher: New York: Springer 1998Description: 519 pISBN: 0387984178Subject(s): CALCULO | PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) -- PROGRAMACIONDDC classification: 005.14
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Copy number Status Date due Barcode Item holds
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
Colección / Fondo / Acervo / Resguardo 005.14 B124r (Browse shelf) Ej. 1 1 Available 017981
Total holds: 0

Incluye bibliografía e índice p. 501

There are no comments on this title.

to post a comment.