Vlisp a Verified Implementation of Scheme - Guttman - Books - Kluwer Academic Publishers - 9780792395669 - May 31, 1995
In case cover and title do not match, the title is correct

Guttman
Vlisp a Verified Implementation of Scheme Reprinted from Lisp and Symbolic Computation, an I edition

Price
Íkr 22,759
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 15 - 29

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company's Technology Program. The work was supervised by the Rome Laboratory of the US Air Force. This title extracts re-usable conclusions from the work at two, quite different levels.

184 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 31, 1995
ISBN13 9780792395669
Publishers Kluwer Academic Publishers
Pages 184
Dimensions 155 × 235 × 12 mm   ·   553 g
Editor Gutmann, Joshua D.
Editor Wand, Mitchell

Mere med samme udgiver

See all of Guttman ( e.g. Hardcover Book )