Sign in
Join Literal
Formal Description of Programming Concepts--II
Dines Bjørner
Want to read
Sign up to use
Dines Bjørner
Formal Description of Programming Concepts--II
Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982
Dines Bjørner
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
Discover more books like Formal Description of Programming Concepts--II