Programming Languages and Their Definition: H. Bekič (1936–1982)
Book information
Similar books
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
2003 · PDF
Programming Languages and Their Definition: H. Bekič (1936–1982)
1984 · PDF
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
2003 · PDF
Specification of Software Systems
2011 · PDF
Software Engineering 1: Abstraction and Modelling
2006 · PDF
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
2012 · PDF
Answer Set Programming
2019 · PDF
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
2019 · PDF