Logic of Programming and Calculi of Discrete Design: International Summer School
98,03 €
I: Programming Calculi. - An Introduction to the Theory of Lists. - A Heuristic Explanation of Batcher's Baffler. - Predicative Communications. - Notes on Logic Programming. - II: Specification and Verification Calculi.
Jetzt bei Ebay: