서브메뉴
검색
Proof, language, and interaction - [electronic resource] : essays in honour ofRobin Milner : edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.
![Proof, language, and interaction - [electronic resource] : essays in honour ofRobin Milne...](/Sponge/Images/bookDefaults/NNbookdefaultsmall.png)
Proof, language, and interaction - [electronic resource] : essays in honour ofRobin Milner : edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.
Detailed Information
- 자료유형
- 비도서
- ISBN
- 0585388903 (electronic bk.)
- 미국회청구기호
- QA76.-P699 2000eb
- DDC
- 004-21
- 서명/저자
- Proof, language, and interaction - [electronic resource] : essays in honour ofRobin Milner : edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.
- 발행사항
- Cambridge, Mass. : MIT Press, 2000.
- 형태사항
- xiv, 722 p. : ill. ; 24 cm.
- 총서명
- Foundations of computing
- 서지주기
- Includes bibliographical references.
- 복제주기
- Electronic reproduction. . Boulder, Colo. : NetLibrary, 2002. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries.
- 주제명-개인
- Milner, R.((Robin)) , 1934-
- 일반주제명
- Computer science.
- 기타저자
- Milner, R.((Robin)) , 1934-
- 기타저자
- NetLibrary, Inc.
- 기타형태저록
- . Original. 0262161885. (DLC) 99027800. (OCoLC)41944560
- 전자적 위치 및 접속
- . Original. 0262161885. (DLC) 99027800. (OCoLC)41944560
- Control Number
- gtec:43802
MARC
008020102s2000 maua sb 000 0 eng d■003 OCoLC
■020 ▼a0585388903 (electronic bk.)
■040 ▼aN▼T▼cN▼T▼dOCLCQ
■05014▼aQA76.▼bP699 2000eb
■08204▼a004▼221
■090 ▼a ▼b
■24500▼aProof, language, and interaction▼h[electronic resource] ▼bessays in honour ofRobin Milner ▼cedited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte.
■260 ▼aCambridge, Mass. ▼bMIT Press▼c2000.
■300 ▼axiv, 722 p. ▼bill. ▼c24 cm.
■4400 ▼aFoundations of computing
■504 ▼aIncludes bibliographical references.
■533 ▼aElectronic reproduction.▼bBoulder, Colo. ▼cNetLibrary▼d2002.▼nAvailable via World Wide Web.▼nAccess may be limited to NetLibrary affiliated libraries.
■60010▼aMilner, R.▼q(Robin)▼d1934-
■6500 ▼aComputer science.
■6557 ▼aElectronic books.▼2local
■7001 ▼aMilner, R.▼q(Robin)▼d1934-▼aPlotkin, G.▼q(Gordon)▼d1946-▼aStirling, Colin P.▼aTofte, Mads.
■7102 ▼aNetLibrary, Inc.
■7761 ▼cOriginal▼z0262161885▼w(DLC) 99027800▼w(OCoLC)41944560
■8564 ▼3Bibliographic record display▼uhttp://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=49084▼zAn electronic book accessible through the World Wide Web;click for information
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Info Détail de la recherche.
- Réservation
- Book Loan Request Service
- My Folder
