서브메뉴
검색
Program construction - [electronic resource] : calculating implementations fromspecifications : Roland Backhouse.
![Program construction - [electronic resource] : calculating implementations fromspecificat...](/Sponge/Images/bookDefaults/NNbookdefaultsmall.png)
Program construction - [electronic resource] : calculating implementations fromspecifications : Roland Backhouse.
상세정보
- 자료유형
- 비도서
- ISBN
- 0470864540 (electronic bk.)
- 미국회청구기호
- QA76.6-.B29 2003eb
- DDC
- 005.1-22
- 저자명
- Backhouse, Roland C. , 1948-
- 서명/저자
- Program construction - [electronic resource] : calculating implementations fromspecifications : Roland Backhouse.
- 발행사항
- Chichester, England : Wiley, c2003.
- 형태사항
- xii, 340 p. : ill.
- 서지주기
- Includes bibliographical references (p. [331]-332) and index.
- 복제주기
- Electronic reproduction. . Boulder, Colo. : NetLibrary, 2003. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries.
- 일반주제명
- Computer programming.
- 기타저자
- NetLibrary, Inc.
- 기타형태저록
- . Original. 0470848820. (DLC) 2003006224. (OCoLC)51878644
- 전자적 위치 및 접속
- . Original. 0470848820. (DLC) 2003006224. (OCoLC)51878644
- Control Number
- gtec:52378
MARC
008030828s2003 enka sb 001 0 eng d■003 OCoLC
■020 ▼a0470864540 (electronic bk.)
■040 ▼aN▼T▼cN▼T
■05014▼aQA76.6▼b.B29 2003eb
■08204▼a005.1▼222
■090 ▼a ▼b
■1001 ▼aBackhouse, Roland C.▼d1948-
■24510▼aProgram construction▼h[electronic resource] ▼bcalculating implementations fromspecifications ▼cRoland Backhouse.
■260 ▼aChichester, England ▼a[Hoboken, N.J.] ▼bWiley▼cc2003.
■300 ▼axii, 340 p. ▼bill.
■504 ▼aIncludes bibliographical references (p. [331]-332) and index.
■533 ▼aElectronic reproduction.▼bBoulder, Colo. ▼cNetLibrary▼d2003.▼nAvailable via World Wide Web.▼nAccess may be limited to NetLibrary affiliated libraries.
■6500 ▼aComputer programming.
■6557 ▼aElectronic books.▼2local
■7102 ▼aNetLibrary, Inc.
■7761 ▼cOriginal▼z0470848820▼w(DLC) 2003006224▼w(OCoLC)51878644
■8564 ▼3Bibliographic record display▼uhttp://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=90338▼zAn electronic book accessible through the World Wide Web;click for information
■994 ▼a92▼bK4R
