We a good story
Quick delivery in the UK

Programs, Recursion and Unbounded Choice

About Programs, Recursion and Unbounded Choice

A complete account of the predicate transformation calculus semantics of sequential programs.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521018296
  • Binding:
  • Paperback
  • Pages:
  • 240
  • Published:
  • August 21, 2005
  • Dimensions:
  • 170x245x12 mm.
  • Weight:
  • 385 g.
Delivery: 1-2 weeks
Expected delivery: December 7, 2024

Description of Programs, Recursion and Unbounded Choice

A complete account of the predicate transformation calculus semantics of sequential programs.

User ratings of Programs, Recursion and Unbounded Choice



Find similar books
The book Programs, Recursion and Unbounded Choice 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.