Liknande böcker

Perspectives of System Informatics: 4th International Andrei Ershov Memo...
Bok av Alexandre V. Zamulin
Recent Trends in Algebraic Development Techniques : 17th International W...
Bok av José Luiz. Fiadeiro
Algorithmic Language and Program Development
Bok av Hans Wössner
Algebraic and logic programming
Bok av Michael Hanus
Rewriting Techniques and Applications: 10th International Conference, RT...
Bok av Michael Rusinowitch
Algebraic Methodology and Software Technology: 9th International Confere...
Bok av Hélène Kirchner
Computer science logic : 16th International Workshop, CSL 2002, 11th ann...
Bok av Julian Bradfield
Mathematics of program construction : 6th international conference, MPC...
Bok av Eerke A Boiten

Types for Proofs and Programs: International Workshop, TYPES' 98 Kloster Irsee, Germany, March 2731, 1998 Selected Papers

Bok av Thorsten Altenkirch