Liknande böcker

Qualified Types
Bok av Mark P. Jones
Cambridge Tracts in Theoretical Computer Science
Bok av Wim H Hesselink
Cambridge Computer Science Texts
Bok av L. Allison
The B-Book : Assigning Programs to Meanings
Bok av Jean-Raymond Abrial
The Clausal Theory of Types
Bok av D. A.. Wolfram
Theory of Objects
Bok av Martin Abadi och Luca Cardelli
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Ob...
Bok av Diaconescu Razvan Diaconescu
Free Choice Petri Nets
Bok av Jorg Desel

Distinguished Dissertations in Computer Science

Bok av James H Andrews