Design and Proof of a Mail Service

Design and Proof of a Mail Service

Bibliografiset tiedot
Päätekijät:	Hoare, C, Jifeng, H
Muut tekijät:	Friesen, O
Aineistotyyppi:	Kirja
Julkaistu:	1987

Samankaltaisia teoksia

Algebraic Specification and Proof of Properties of a Mail Service
Tekijä: Hoare, C, et al.
Julkaistu: (1986)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
Tekijä: Jifeng, H, et al.
Julkaistu: (1987)

Proof of a Program: FIND
Tekijä: Hoare, C
Julkaistu: (1971)

Program Correctness Proofs
Tekijä: Hoare, C
Julkaistu: (1975)

Design of a Mailing List System
Tekijä: Simon Webb
Julkaistu: (1983-02-01)

Proof of Correctness of Data Representations
Tekijä: Hoare, C
Julkaistu: (1972)

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

Direct mail /
Tekijä: 325288 Mallory, C.
Julkaistu: (1992)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
Tekijä: Hoare, C
Julkaistu: (1972)

Proof of a Recursive Program: Quicksort
Tekijä: Foley, M, et al.
Julkaistu: (1971)

Royal mail guide to direct mail for small business /
Tekijä: 322552 Thomas, Brian
Julkaistu: (1996)

Mailing list strategies : a guide direct mail success/
Tekijä: 208347 Harper, Rose
Julkaistu: (1986)

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

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

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

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

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

Losing Votes by Mail
Tekijä: Stewart, Charles H., III
Julkaistu: (2012)

Electronic mail /
Tekijä: 215564 Palme, Jacob
Julkaistu: (1995)

Cryptronic mail /
Tekijä: 460952 Lim, Poay Siak
Julkaistu: (1999)

E-Mail /
Tekijä: 171392 Caswell, Stephen A.
Julkaistu: (1988)

Direct mail
Julkaistu: (1997)

Mailing envelopes
Tekijä: 982 SIRIM

The Mail Bag
Tekijä: Norman L Jones
Julkaistu: (1994-01-01)

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

Una mail
Tekijä: Leonardo Mari
Julkaistu: (2023-05-01)

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

How Did Software Get So Reliable Without Proof?
Tekijä: Hoare, C
Julkaistu: (1996)

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

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

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

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

Direct mail databook/
Tekijä: Goodwin, Leslie J.
Julkaistu: (1987)

Mail payment orders
Tekijä: 8096 British Standards Institution
Julkaistu: (1985)

Mail processing machines
Tekijä: 8096 British Standards Institution

Mail management system
Tekijä: Siti Nur Fathiah, Adnan
Julkaistu: (2015)

Internet : mailing lists /
Tekijä: Hardie, Edward T. L., et al.
Julkaistu: (1994)

Planning for electronic mail/
Tekijä: Simpson, Alan, 1953-
Julkaistu: (1982)

Electronic mail privacy /
Tekijä: 386618 Lee, Meng Siong
Julkaistu: (2001)

Privacy-enhanced mail /
Tekijä: 299418 Mohamad Zulkifli Zakaria
Julkaistu: (1994)