Program Specification

Program Specification
Author :
Publisher : Springer Science & Business Media
Total Pages : 436
Release :
ISBN-10 : 3540114904
ISBN-13 : 9783540114901
Rating : 4/5 (901 Downloads)
GET BOOK
Book Synopsis Program Specification by : J. Staunstrup

Download or read book Program Specification written by J. Staunstrup and published by Springer Science & Business Media. This book was released on 1982-04 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Program Specification Related Books

Program Specification
Language: en
Pages: 436

Program Specification

Authors: J. Staunstrup
Categories: Computers
Type: BOOK - Published: 1982-04 - Publisher: Springer Science & Business Media

GET EBOOK

Program Transformation and Programming Environments
Language: en
Pages: 379

Program Transformation and Programming Environments

Authors: F.L. Bauer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
A Practical Theory of Programming
Language: en
Pages: 257

A Practical Theory of Programming

Authors: Eric C.R. Hehner
Categories: Computers
Type: BOOK - Published: 2012-09-08 - Publisher: Springer Science & Business Media

GET EBOOK

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio
Logics of Programs
Language: en
Pages: 434

Logics of Programs

Authors: Rohit Parikh
Categories: Computers
Type: BOOK - Published: 1985-06 - Publisher: Springer Science & Business Media

GET EBOOK

Algorithms for Elliptic Problems
Language: en
Pages: 310

Algorithms for Elliptic Problems

Authors: Marián Vajtersic
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

GET EBOOK

This volume deals with problems of modern effective algorithms for the numerical solution of the most frequently occurring elliptic partial differential equatio