Hardback
Add to list Added to list Algorithimic Languages and Calculi
Richard Bird,Lambert Meerkens
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results…
Available to order, ships in 7-14 daysAvailable to order
