Michael J. O'Donnell
Artículos populares por Michael J. O'Donnell
Ver todas las ofertas-
A programming logic: With an introduction to the PL/CV verifier
Precios de los artículos a partir de
Ver 2 ofertasEUR 1,67
Encuentra también
Antiguos o usados -
Computing in Systems Described by Equations
Precios de los artículos a partir de
Ver 15 ofertasEUR 9,12
-
Equational Logic as a Programming Language (Mit Pr Series in the Foundations of Computing)
O'Donnell, Michael J.
Precios de los artículos a partir de
Ver 3 ofertasEUR 18,43
