0
Your cart
![]() |
![]() |
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
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 of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
|
![]() ![]() You may like...
Africa's Business Revolution - How to…
Acha Leke, Mutsa Chironga, …
Hardcover
![]()
Prisoner 913 - The Release Of Nelson…
Riaan de Villiers, Jan-Ad Stemmet
Paperback
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, …
Paperback
The Land Is Ours - Black Lawyers And The…
Tembeka Ngcukaitobi
Paperback
![]()
|