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)
DOWNLOAD EBOOK
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

Program Development Using Refinement Logic

Authors: Peter Vanderbilt
Categories: Computer programming
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Program Development in Computational Logic
Language: en
Pages: 546

Program Development in Computational Logic

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
Abstraction, Refinement and Proof for Probabilistic Systems
Language: en
Pages: 412

Abstraction, Refinement and Proof for Probabilistic Systems

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
Program Development by Refinement
Language: en
Pages: 352

Program Development by Refinement

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
6th Refinement Workshop
Language: en
Pages: 315

6th Refinement Workshop

Authors: David Till
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were sub