서지주요정보
Software abstractions : logic, language and analysis
서명 / 저자 Software abstractions : logic, language and analysis / Daniel Jackson.
저자명 Jackson, Daniel.
발행사항 Cambridge, Mass. : MIT Press, 2016

소장자료

등록번호

00066037

소장위치 / 청구기호

6층 과학·기술자료실 / QA76.76.D47 J33 2016

청구기호 읽는 법

도서상태

이용가능

책찾아주세요

반납예정일

예약

서지기타정보

서지기타정보
청구기호 QA76.76.D47 J33 2016
판사항 Revised ed.
형태사항 xviii, 354 p. : ill. ; 24 cm.
언어 English
서지주기 Includes bibliographical references and index.
주제 Computer software --Development.
ISBN 9780262528900
QR CODE

리뷰정보

책소개

전체보기

목차

전체보기

홈으로
닫기