The Live Webde Phillip J. Windley2.0 · 1 votosMateriasCloud computingWeb servicesWeb serversEdiciones (1)The Live Web (2011)Cengage Learning PTR · ISBN 9781133686682Más obras de Phillip J. WindleyTThe formal verification of generic interpretersThe formal verification of generic interpretersFFormal proof of the AVM-1 microprocessor using the concept oFormal proof of the AVM-1 microprocessor using the concept of generic interpretersHigher order logic theorem proving and its applications
FFormal proof of the AVM-1 microprocessor using the concept oFormal proof of the AVM-1 microprocessor using the concept of generic interpreters
HHigher Order Logic Theorem Proving and Its ApplicationsHigher Order Logic Theorem Proving and Its Applications
