Paperback / softback. New. - Application of discrete structures in computer science: syntax and semantics of programming languages operational semantics logic programming algorithms and data structures complexity of algorithms and implementation aspects proof techniques for nonnumerical algorithms formal specifications and visualization of structured objects. paperback
Référence libraire : B9783540539827 ISBN : 3540539824 9783540539827
Paperback / softback. New. This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications TLCA 2001 held in Krakow Poland in May 2001. paperback
Référence libraire : B9783540419600 ISBN : 3540419608 9783540419600