서브메뉴
검색
Larch : Languages and Tools for Formal Specification
Larch : Languages and Tools for Formal Specification
상세정보
- 자료유형
- 단행본
- ISBN
- 0387940065
- 청구기호
- 005.13 G985l
- 저자명
- Guttag, John C
- 서명/저자
- Larch : Languages and Tools for Formal Specification / John C Guttag , James J Horning.
- 발행사항
- New York : Spring-Verlag, 1993.
- 형태사항
- xiii,250 p. ; 24 cm.
- 총서명
- Texts and Monographs in Computer Science.
- 서지주기
- Includes bibliographical references.
- 기타저자
- Horning, James J
- 가격
- 21000
- Control Number
- kjul:50019831
MARC
008970311s1993 ulk 000a eng■020 ▼a0387940065
■090 ▼a005.13▼bG985l
■1001 ▼aGuttag, John C
■24510▼aLarch▼bLanguages and Tools for Formal Specification▼dJohn C Guttag▼eJames J Horning.
■260 ▼aNew York▼bSpring-Verlag▼c1993.
■300 ▼axiii,250 p.▼c24 cm.
■44010▼aTexts and Monographs in Computer Science.
■504 ▼aIncludes bibliographical references.
■653 ▼aLarch▼aLanguages▼aTools▼aFormal▼aSpecification
■7001 ▼aHorning, James J
■9500 ▼b21000
