Home > Texts Book > Springer Science & Business Media > ESOP 86ESOP 86 Book Title ESOP 86 Author Bernard Robinet Publisher Springer Science & Business Media Published 1986-03 Language English Subject Computers, Computer Science, Computers, Information Technology, Computers, Logic Design, Computers, Programming, General, Mathematics, Discrete Mathematics, Page_Count 374 Format BOOK ISBN 35401644219783540164425 Buy Now Read Online About this BookNo description available. Source: View Book on Google BooksSimilar Books: Programming Languages and Systems Peter Sestoft 354 buyHigh-Level Language Computer Architecture Yaohan Chu 286 buyMoving Targets Simon Lavington 723 buyProof, Language, and Interaction Robin Milner 748 buyInternational Symposium on Programming B. Robinet 356 buyAdapting Proofs-as-Programs Iman Poernomo 417 buyFunctional and Logic Programming Masami Hagiya 303 buyThe Making of a New Science Giorgio Ausiello 295 buyLogic-Based Program Synthesis and Transformat... Pierre Flener 341 buyLogic-Based Program Synthesis and Transformat... María Alpuente 258 buy
