|
|
|
|
Mathematical methods in program development / |
|
|
|
Bibliographical information (record 339194) |
|
Mathematical methods in program development / |
Publisher: |
Springer,
|
ISBN: |
354063195X
|
Edition: |
1997.
|
Classification: |
QA76.6 |
Dewey: |
005.1/01/51 |
|
|
- "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso.
- Includes bibliographical references.
- Eliminating the Chaff - Again: Banquet Speech at Marktoberdorf 1996 / D. Gries -- Envoi at Marktoberdorf 1996 / C. A. R. Hoare -- E. W. Dijkstra -- Heuristics for a Very Simple Euclidean Proof -- Complete DAGs -- A Result of Rabbit Removal -- For the Record: Painting the Squared Plane -- The Marriage Agency -- Courtesy Dr. Birgit Schieder -- WLOG, or the Misery of the Unordered Pair -- My Simplest Theorem -- The Transitive Closure of a Wellfounded Relation -- The Formula for sin.([alpha] + [beta]) -- A Kind of Converse of Leibniz's Principle -- The Strengths of the Academic Enterprise -- W. H. J. Feijen and A. J. M. van Gasteren -- On a Method for the Formal Design of Multiprograms -- D. Gries -- Foundations for Calculational Logic -- J.-R. Abrial and L. Mussat -- Specification and Design of a Transmission Protocol by Successive Refinements Using B -- B. von Karger -- Formal Derivation of a Protocol in CSP -- F. L. Bauer -- Genesis of Algorithmic Languages -- M. Broy -- Mathematical Methods in System and Software Engineering -- C. A. R. Hoare -- Unified Theories of Programming -- K. Fisher and J. C. Mitchell -- On the Relationship Between Classes, Objects and Data Abstraction -- G. Smolka -- The Oz Programming Model -- A Foundation for Higher-order Concurrent Constraint Programming -- L. C. Paulson -- Tool Support for Logics of Programs -- N. Shankar -- Machine-Assisted Verification Using Theorem Proving and Model Checking.
|
|
|
Barcode |
Status |
Library |
Section |
7828890191
|
Item available
|
University of Kyrenia Grand Library3rd Floor (QA76.6 .M3648 1997)
|
General Collection |
|
|
UNIVERSITY OF KYRENIA LIBRARY +90 (392) 680 20 28. Near East Boulevard, Kyrenia, TRNC This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.
|
|