Sell, buy or rent Mads Tofte textbooks
The Definition of Standard Ml
by
Robin Milner, Mads Tofte, Robert Harper
ISBN-13: 9780262132558
ISBN-10: 0262132559
Publication date: 1990
Publisher:
Mit Pr
Format:
Hardcover
101 pages
Commentary on Standard Ml
by
Robin Milner, Mads Tofte
ISBN-13: 9780262132718
ISBN-10: 0262132710
Publication date: 1656
Publisher:
Mit Pr
Format:
Hardcover
180 pages
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
by
Gordon Plotkin, Colin P. Stirling, Mads Tofte, R. Milner
ISBN-13: 9780262161886
ISBN-10: 0262161885
Publication date: 2000
Publisher:
Mit Pr
Format:
Hardcover
722 pages
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series, 19)
by
Mads Tofte
ISBN-13: 9783540514718
ISBN-10: 3540514716
Edition: 1990
Publisher:
Springer
Format:
Hardcover
158 pages
Commentary on Standard Ml
by
Robin Milner, Mads Tofte
ISBN-13: 9780262631372
ISBN-10: 0262631377
Publication date: 1991
Publisher:
Mit Pr
Format:
Paperback
178 pages
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series, 19)
by
Mads Tofte
ISBN-13: 9783642648571
ISBN-10: 3642648576
Edition: Softcover reprint of the original 1st ed. 1990
Publication date: 2011
Publisher:
Springer
Format:
Paperback
158 pages
The Definition of Standard Ml
by
Mads Tofte, Robin Milner, Robert Harper
ISBN-13: 9780262631327
ISBN-10: 0262631326
Publication date: 1990
Publisher:
Mit Pr
Format:
Paperback
114 pages
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
by
Gordon Plotkin, Colin P. Stirling, Mads Tofte
ISBN-13: 9780262281676
ISBN-10: 0262281678
Publication date: 2000
Publisher:
The MIT Press
Format:
Printed Access Code
736 pages