HOME > Detail View

Detail View

Logic and algebra of specification

Logic and algebra of specification (Loan 1 times)

Material type
단행본
Personal Author
Bauer, Friedrich Ludwig, 1924- Brauer, Wilfried. Schwichtenberg, Helmut, 1942-
Title Statement
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
Publication, Distribution, etc
Berlin ;   New York :   Springer-Verlag,   c1993.  
Physical Medium
442 p. ; 25 cm.
Series Statement
NATO ASI series. Series F, Computer and system sciences ;vol. 94
ISBN
0387558136 (U.S. : alk. paper) 3540558136
General Note
"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."  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
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.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.015113 N279L 1991 Accession No. 121021154 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents


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

New Arrivals Books in Related Fields