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.
In contrast to
Amazon and other book retailers,
who might also feature Algorithimic Languages and Calculi within their extensive online inventories,
our focus at BulkBooks.com is on dealing with bulk orders while providing personalized service.
With our amazing team of friendly professionals, Price Matching, and our user-friendly
Quote form,
we aim to simplify and expedite your bulk book purchasing process.
Should you wish to interact with a person while placing your bulk order for Algorithimic Languages and Calculi?
We have a Bulk Book Specialist available to help, poised and prepared to assist you.
Chat us or
Contact us now!