Skip to content

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Advanced

Specifications‚ Programs and I...

Cite this
Text this
Email this
Print
Export Record
Permanent link

Specifications‚ Programs and Implementations

Specifications‚ Programs and Implementations

Bibliographic Details
Main Author:	Hoare, C
Format:	Report
Published:	Programming Research Group‚ Oxford University 1982

Holdings
Description
Similar Items
Staff View

Similar Items

A Notation for the Specification of Computer Programs
by: Hoare, C
Published: (1976)
Program construction : calculating implementations from specifications /
by: Backhouse, Roland C. 1948-
Published: (2003)
Structured Programming in Introductory Programming Courses
by: Hoare, C
Published: (1976)
Programs are Predicates
by: Hoare, C
Published: (1992)
The Mathematics of Programming
by: Hoare, C
Published: (2015)

Search Options

Search History
Advanced Search

Find More

Browse the Catalog
Browse Alphabetically
Explore Channels
Course Reserves
New Items

Need Help?

Search Tips
Ask a Librarian
FAQs