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 (59 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
A Theory and Practice of Program Development
Language: en
Pages: 421
Authors: Derek J. Andrews
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is ri
Programming from Specifications
Language: en
Pages: 360
Authors: Carroll Morgan
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a
Program Development by Refinement
Language: en
Pages: 364
Authors: Emil Sekerinski
Categories:
Type: BOOK - Published: 1998-10-01 - Publisher:

DOWNLOAD EBOOK