HOME > 상세정보

상세정보

Logic and algebra of specification

Logic and algebra of specification (1회 대출)

자료유형
단행본
개인저자
Bauer, Friedrich Ludwig, 1924- Brauer, Wilfried. Schwichtenberg, Helmut, 1942-
서명 / 저자사항
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
발행사항
Berlin ;   New York :   Springer-Verlag,   c1993.  
형태사항
442 p. ; 25 cm.
총서사항
NATO ASI series. Series F, Computer and system sciences ;vol. 94
ISBN
0387558136 (U.S. : alk. paper) 3540558136
일반주기
"Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--T.p. verso.  
"Published in cooperation with NATO Scientific Affairs Division."  
서지주기
Includes bibliographical references.
일반주제명
Computer science --Mathematics. Logic, Symbolic and mathematical.
비통제주제어
Logic programming,,
000 01557camuuu200373 a 4500
001 000000458729
003 OCoLC
005 19970109144831.0
008 930429s1993 gw b 000 0 eng
010 ▼a 93017951 //r942
015 ▼a GB93-41787
019 ▼a 29219290
020 ▼a 0387558136 (U.S. : alk. paper)
020 ▼a 3540558136
040 ▼a DLC ▼c DLC ▼d UKM
049 ▼a ACSL ▼l 121021154
050 0 0 ▼a QA76.9.M35 ▼b N37 1991
082 0 0 ▼a 004/.01/5113 ▼2 20
090 ▼a 004.015113 ▼b N279L ▼c 1991
111 2 ▼a NATO Advanced Study Institute on Logic and Algebra of Specification ▼d (1991 : ▼c Marktoberdorf, Germany)
245 1 0 ▼a Logic and algebra of specification / ▼c edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
260 ▼a Berlin ; ▼a New York : ▼b Springer-Verlag, ▼c c1993.
300 ▼a 442 p. ; ▼c 25 cm.
490 1 ▼a NATO ASI series. Series F, Computer and system sciences ; ▼v vol. 94
500 ▼a "Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--T.p. verso.
500 ▼a "Published in cooperation with NATO Scientific Affairs Division."
504 ▼a Includes bibliographical references.
650 0 ▼a Computer science ▼x Mathematics.
650 0 ▼a Logic, Symbolic and mathematical.
653 0 ▼a Logic programming
700 1 ▼a Bauer, Friedrich Ludwig, ▼d 1924-
700 1 ▼a Brauer, Wilfried.
700 1 ▼a Schwichtenberg, Helmut, ▼d 1942-
830 0 ▼a NATO ASI series. ▼n Series F, ▼p Computer and systems sciences ; ▼v no. 94.

소장정보

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

컨텐츠정보

목차


CONTENTS
Distributed Action Systems / Wilfried Brauer = 1
Lectures on : Classical Proofs as Programs / Robert L. Constable = 31
Linear Logic : A Survey / Jean-Yves Girard = 63
Some Proof-Theoretic Aspects of Logic Programming / Gerhard J a ·· er = 113
The Safety-Progress classification / Edward Chang ; Zohar Manna ; Amir Pnueli = 143
The Plyadic π-Calculus : A Tutorial / Robin Milner = 203
An Introduction to Action Semantics / Peter D. Mosses = 247
Minimal Logic for Computable Functions / H. Schwichtenberg = 289
Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack / B. McConnell ; J. V. Tucker = 321
Four Lectures on Primitive Recursion / Stanley S. Wainer = 377
Structured Specifications : Syntax, Semantics and Proof Calculus / Martin Wirsing = 411

관련분야 신착자료

김효곤 (2022)