Unity of Logic and Computation
by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Writing a summary for young readers…
For young readers
Book data: Open Library
by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Book data: Open Library