A Classical Mind: essays in Honour of C.A.R. Hoare

A Classical Mind: essays in Honour of C.A.R. Hoare

Bibliographic Details
Other Authors:	Roscoe, A
Format:	Book
Published:	Prentice−Hall 1994

Similar Items

Reflections on the work of C.A.R. Hoare
by: Jones, A, et al.
Published: (2010)

Hoare on Programming
by: Hoare, C
Published: (2015)

Intellectual property in the new millennium : essays in honour of William R. Cornish /
by: Vaver, David, et al.
Published: (2004)

A Hoare logic for linear systems
by: Arthan, R, et al.
Published: (2013)

Hoare's Logic Is Not Complete When It Could Be
by: Bergstra, J., et al.
Published: (2023)

Floyd-Hoare Verifiers "Considered Harmful"
by: Shrobe, Howard E.
Published: (2004)

Semantical Considerations on Floyd-Hoare Logic
by: Pratt, Vaughan R.
Published: (2023)

Hoare's Formulation of Jones' Calculus for Programming
by: Hoare, C
Published: (2015)

Floyd-Hoare Logic Defines Semantics
by: Meyer, Albert R.
Published: (2023)

Theory and reality in development: Essays in honour of Paul Streeten
Published: (1986)

Taking law seriously: essays in honour of Peter Cane
Published: (2022)

Potrait of Bangkok : essays in honour of the bicentennial of the capital of Thailand /
by: 412839 Sternstein, Larry
Published: (1982)

Theory and feality in development : essays in honour of paul Streeten /
by: Lall, Sanjaya
Published: (1986)

Reviews of contributions to ‘A Classical Mind'
by: Hoare, C
Published: (1994)

Certifying a file system using crash hoare logic
by: Chajed, Tej, et al.
Published: (2019)

Malaysian legal essays : a collection of essays in honour of Professor Emeritus Datuk Ahmad Ibrahim /
by: Hooker, M. B.
Published: (1986)

Banking as an emerging technology : Hoare's Bank 1702-1742
by: Temin, Peter, et al.
Published: (2011)

The speed of the financial revolution : evidence from Hoare's Bank
by: Temin, Peter, et al.
Published: (2011)

Review of: Mayer, Adrian C. (ed.): Culture and Morality: Essays in Honour of Christoph von Fürer-Haimendorf
by: McDonaugh, C
Published: (1983)

Using Crash Hoare logic for certifying the FSCQ file system
by: Chen, Haogang, et al.
Published: (2021)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2011)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2009)

Automatic Construction of Hoare Proofs from Abstract Interpretation Results
by: Seo, S, et al.
Published: (2003)

Economic models, estimation and risk programming : essays in honour of Gerhard Tintner /
by: Fox, Karl August, 1917-
Published: (1969)

War, strategy and international politics : essays in honour of Sir Michael Howard /
by: Howard, Michael Eliot, et al.
Published: (1992)

An Honour For Sabahans Says V-C
by: The Star,
Published: (2008)

The restoration and preservation of vintage and classic cars/
by: 249211 Wood, Jonathan
Published: (1977)

EEG based mind controlled car
by: Li, Yue
Published: (2015)

The illustrated book of classic cars : a celebration of the motor car from 1945 to 1975 /
by: 211922 Buckley, Martin
Published: (2003)

Development, trade, and the Asia-Pacific : essays in honour of Professor Lim Chong Yah /
by: Kapur, Basant, et al.
Published: (1996)

Review of: La Fontaine, J.S. (ed.): The Interpretation of Ritual. Essays in honour of A.I. Richards
by: Crick, M
Published: (1972)

Developing A 2-axis control system for R/C car /
by: 265710 Andelinus Luxman
Published: (1999)

Modern sport : the global obsession : politics, religion, class, gender essays in honour of J. A. Mangan /
by: Majumdar, Boria, 1976-, et al.
Published: (2007)

Top honours
by: The, Star
Published: (2011)

Honouring women
by: New Straits Times,
Published: (2016)

Silent honour /
by: Steel, Danielle, August 14, 1947, 339370
Published: (1996)

A sence of honour [kasetvideo]
Published: (1982)

Mirrors in mind - Gregory,R
by: Braddick, O
Published: (1997)

Global development fifty years after Bretton Woods: Essays in honour of Gerald K. Helleiner
Published: (1997)

Local and global : social transformation in Southeast Asia : essays in honour of Professor Syed Hussein Alatas /
by: Alatas, Syed Hussein, 1928-, et al.
Published: (2005)