Mario Bravetti | Bookhype

Jul 21, 2016

Cover of Behavioral Types in Programming Languages

Behavioral Types in Programming Languages (Foundations and Trends (R) in Programming Languages)

Jan 1, 2005

Cover of Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, #3670)