Program Development Using Refinement Logic

Program Development Using Refinement Logic
Author :
Publisher :
Total Pages : 368
Release :
ISBN-10 : CORNELL:31924004166959
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Program Development Using Refinement Logic by : Peter Vanderbilt

Download or read book Program Development Using Refinement Logic written by Peter Vanderbilt and published by . This book was released on 1984 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Program Development Using Refinement Logic Related Books

Program Development Using Refinement Logic
Language: en
Pages: 368
Authors: Peter Vanderbilt
Categories: Computer programming
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Program Development in Computational Logic
Language: en
Pages: 546
Authors: Maurice Bruynooghe
Categories: Computers
Type: BOOK - Published: 2004-06-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and tran
Program Development by Refinement
Language: en
Pages: 352
Authors: Emil Sekerinski
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team wh
Abstraction, Refinement and Proof for Probabilistic Systems
Language: en
Pages: 412
Authors: Annabelle McIver
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su
Mathematical Methods in Program Development
Language: en
Pages: 538
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical