Catalogo · 9783540740612
Static Analysis
ISBN 9783540740612
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Two-level functional languages
Flemming Nielson, Hanne Riis Nielson
Semantics with applications
Hanne Riis Nielson, Flemming Nielson
Principles of program analysis
Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Type and effect systems
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Formal Methods
Flemming Nielson, Hanne Riis Nielson
Coordination Models and Languages
Hanne Riis Nielson, Emilio Tuosto
Verba volant · scripta manent