HOME > 상세정보

상세정보

Algebraic specification techniques and tools for software development : the ACT approach

Algebraic specification techniques and tools for software development : the ACT approach (1회 대출)

자료유형
단행본
개인저자
Classen, Ingo. Ehrig, Hartmut. Wolz, Dietmar.
서명 / 저자사항
Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claszen, Hartmut Ehrig, Dietmar Wolz.
발행사항
Singapore ;   River Edge, N.J. :   World Scientific,   c1993.  
형태사항
xvi, 237 p. : ill. ; 23 cm.
총서사항
AMAST series in computing ;vol. 1
ISBN
9810212275
서지주기
Includes bibliographical references (p. 221-229) and index.
일반주제명
Computer software --Development. Compilers (Computer programs).
000 00979aamuuu200289 a 4500
001 000000568346
003 OCoLC
005 19971006183816.0
008 940601s1993 si a 001 0 eng d
010 ▼a 94165678
020 ▼a 9810212275
040 ▼a OrBG ▼c DLC
042 ▼a lccopycat
049 ▼a ACSL ▼l 121031125
050 0 0 ▼a QA76.76.D47 ▼b C57 1993
082 0 0 ▼a 005.1/2/01512 ▼2 20
090 ▼a 005.12 ▼b C614a
100 1 ▼a Classen, Ingo.
245 1 0 ▼a Algebraic specification techniques and tools for software development : ▼b the ACT approach / ▼c Ingo Claszen, Hartmut Ehrig, Dietmar Wolz.
260 ▼a Singapore ; ▼a River Edge, N.J. : ▼b World Scientific, ▼c c1993.
300 ▼a xvi, 237 p. : ▼b ill. ; ▼c 23 cm.
440 0 ▼a AMAST series in computing ; ▼v vol. 1
504 ▼a Includes bibliographical references (p. 221-229) and index.
650 0 ▼a Computer software ▼x Development.
650 0 ▼a Compilers (Computer programs).
700 1 2 ▼a Ehrig, Hartmut.
700 1 2 ▼a Wolz, Dietmar.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.12 C614a 등록번호 121031125 (1회 대출) 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료

Harvard Business Review (2025)