Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=Tofte, Mads
cover
Proof, Language, and Interaction; Essays in Honour of Robin Milner
Comment Share
Plotkin, GordonStirling, Colin PatrickTofte, Mads

Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Robin Milner, tokoh utama dalam bidang ini, telah memberikan banyak kontribusi mendasar, khususnya dalam ilmu komputer teoretis, teori bahasa pemrograman, dan bahasa pemrograman fungsional. Setelah biografi singkat Milner, buku i…

Edition
-
ISBN/ISSN
9780262281676
Collation
1 online resource (xiv, 722 pages)
Series Title
-
Call Number
004.01 PLO p
cover
Proof, language, and interaction :essays in honour of Robin Milner
Comment Share
Plotkin, G.Stirling, Colin P.Tofte, Mads.Milner, R.

This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.…

Edition
-
ISBN/ISSN
0585388903
Collation
1 online resource (xiv, 722 pages) :illustrations.
Series Title
-
Call Number
-