Design and Proof of a Mail Service

Design and Proof of a Mail Service

Bibliographic Details
Main Authors:	Hoare, C, Jifeng, H
Other Authors:	Friesen, O
Format:	Book
Published:	1987

Similar Items

Algebraic Specification and Proof of Properties of a Mail Service
by: Hoare, C, et al.
Published: (1986)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
by: Jifeng, H, et al.
Published: (1987)

Proof of a Program: FIND
by: Hoare, C
Published: (1971)

Program Correctness Proofs
by: Hoare, C
Published: (1975)

Proof of Correctness of Data Representations
by: Hoare, C
Published: (1972)

Electronic postbox service from Royal Mail/
Published: (199-)

Direct mail /
by: 325288 Mallory, C.
Published: (1992)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
by: Hoare, C
Published: (1972)

Proof of a Recursive Program: Quicksort
by: Foley, M, et al.
Published: (1971)

Royal mail guide to direct mail for small business /
by: 322552 Thomas, Brian
Published: (1996)

Importance of Corporate E-Mail Service for Educational Institutions
by: Bünyamin Celik, et al.
Published: (2018-03-01)

Is Mail Service Pharmacy Cost Beneficial to Plan Sponsors?
by: Larisa Vulakh, Student Pharmacist, et al.
Published: (2011-01-01)

Is Mail Service Pharmacy Cost Beneficial to Plan Sponsors?
by: Larisa Vulakh, et al.
Published: (2011-01-01)

Analysis of E-mail Transactions in Virtual Reference Services
by: Astutik Nur Qomariyah, et al.
Published: (2016-01-01)

Analysis of E-mail Transactions in Virtual Reference Services
by: Astutik Nur Qomariyah, et al.
Published: (2018-01-01)

Mailing list strategies : a guide direct mail success/
by: 208347 Harper, Rose
Published: (1986)

Losing Votes by Mail
by: Stewart, Charles H., III
Published: (2012)

Electronic mail /
by: 215564 Palme, Jacob
Published: (1995)

Cryptronic mail /
by: 460952 Lim, Poay Siak
Published: (1999)

E-Mail /
by: 171392 Caswell, Stephen A.
Published: (1988)

Direct mail
Published: (1997)

Mailing envelopes
by: 982 SIRIM

The Mail Bag
by: Norman L Jones
Published: (1994-01-01)

NOTICIASE-MAIL
Published: (2002-03-01)

Una mail
by: Leonardo Mari
Published: (2023-05-01)

United in Mail Art : Unis dans le mail art
by: Hans Braumüller, et al.
Published: (2020-12-01)

How Did Software Get So Reliable Without Proof?
by: Hoare, C
Published: (1996)

Spam e-mail: how Malaysian e-mail users deal with it?
by: Bujang, Yanti Rosmunie, et al.
Published: (2010)

The elements of e-mail style : communicate effectively via electronic mail /
by: 209362 Angell, David, et al.
Published: (1994)

Did Your Mailed Ballot Count: The Unrecognized Unreliability of Voting By Mail
by: Alec Yasinsac
Published: (2012-10-01)

Reconsidering Lost Votes by Mail
by: Charles H. Stewart III
Published: (2021-02-01)

Direct mail databook/
by: Goodwin, Leslie J.
Published: (1987)

Mail payment orders
by: 8096 British Standards Institution
Published: (1985)

Mail processing machines
by: 8096 British Standards Institution

Mail management system
by: Siti Nur Fathiah, Adnan
Published: (2015)

Internet : mailing lists /
by: Hardie, Edward T. L., et al.
Published: (1994)

Planning for electronic mail/
by: Simpson, Alan, 1953-
Published: (1982)

Electronic mail privacy /
by: 386618 Lee, Meng Siong
Published: (2001)

Privacy-enhanced mail /
by: 299418 Mohamad Zulkifli Zakaria
Published: (1994)

Voice e-mail /
by: 447373 Goh, Tze Kheng
Published: (2002)