Mathematics of Program Construction: Sixth International Conference

Boiten, Eerke Albert and Möller, Bernhard, eds. (2002) Mathematics of Program Construction: Sixth International Conference. Lecture Notes in Computer Science, 2386 . Springer, Berlin/Heidelbeg/Paris, 267 pp. (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: Edited book
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: Eerke Boiten
Date Deposited: 24 Nov 2008 17:59
Last Modified: 06 Dec 2015 00:07
Resource URI: https://kar.kent.ac.uk/id/eprint/13760 (The current URI for this page, for reference purposes)
ORCiD (Boiten, Eerke Albert): http://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):