Mathematics of Program Construction: Sixth International Conference

Boiten, Eerke (2002) Mathematics of Program Construction: Sixth International Conference. In: 6th International Conference on Mathematics of Program Construction, 27-28 May 2004, Ede, The Netherlands. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

http://www.springer.de/cgi/svcat/search<sub>b</sub>ook.pl?isbn=3-540-43857-2

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:59
Last Modified: 12 May 2014 13:09
Resource URI: https://kar.kent.ac.uk/id/eprint/13760 (The current URI for this page, for reference purposes)
  • Depositors only (login required):