Hardback (01 Oct 1995)
Not available for sale
Includes delivery to the United States
Out of stock
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.
| ISBN: | 9781860940033 |
| Publisher: | Imperial College Press |
| Imprint: | Imperial College Press |
| Pub date: | 01 Oct 1995 |
| Language: | English |
| Number of pages: | 444 |
| Weight: | 725g |
| Height: | 230mm |
| Width: | 158mm |
| Spine width: | 31mm |
$16.20off
Paperback
Published 16 Oct 2020
Save $16.20
$8.53off
Paperback
Published 31 Aug 2023
Save $8.53
$32.14off
Paperback
Published 11 Oct 2005
Save $32.14
$2.08off
Hardback
Published 28 Sep 2023
Save $2.08
