Catalogo · 9783540285847
Static analysis
ISBN 9783540285847
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Principles of program analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Semantics, Logics, and Calculi
Christian W. Probst, Chris Hankin, René Rydhof Hansen
Lambda Calculi
Chris Hankin
Coordination programming
Chris Hankin
Abstract interpretation of declarative languages
Samson Abramsky, Chris Hankin
Programming Languages and Systems
Chris Hankin
Introducao ao calculo lambda
Chris Hankin, Jo O. Rasga
Coordination: Languages and Models : 1st International Conference Coordination '96, Cesena, Italy, April 1996
Italy) International Conference Coordination '9 1996 Cesena, Paolo Ciancarini, Chris Hankin
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Verba volant · scripta manent