We a good story
Quick delivery in the UK
About Algorithimic Languages and Calculi

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780412820502
  • Binding:
  • Hardback
  • Pages:
  • 443
  • Published:
  • July 30, 1997
  • Edition:
  • 1997
  • Dimensions:
  • 162x239x28 mm.
  • Weight:
  • 772 g.
Delivery: 2-3 weeks
Expected delivery: December 12, 2024

Description of Algorithimic Languages and Calculi

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.

User ratings of Algorithimic Languages and Calculi



Find similar books
The book Algorithimic Languages and Calculi can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.