Computers & Internet -- Programming -- Software Design, Testing & Engineering -- Logic
Books
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)
Publisher: Springer
ISBN10: 3540213015
ISBN13: 9783540213017
DDC: 005.133
Edition: Paperback; 2004-04-28
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science)
Publisher: Springer
ISBN10: 354020766X
ISBN13: 9783540207665
DDC: 005.133
Edition: Paperback; 2004-03-19
Adapting proofs-as-programs: the Curry-Howard protocol
Publisher: Springer
ISBN10: 0387237593
ISBN13: 9780387237596
DDC: 511.3/6
LCC: QA9.54
Edition: (hardback : acid-free paper)