An Introduction to the PL/CV2 Programming Logic

An Introduction to the PL/CV2 Programming Logic

An Introduction to the PL/CV2 Programming Logic

An Introduction to the PL/CV2 Programming Logic

Paperback(1982)

$54.99 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores

Related collections and offers

Product Details

ISBN-13: 9783540114925
Publisher: Springer Berlin Heidelberg
Publication date: 05/24/1982
Series: Lecture Notes in Computer Science , #135
Edition description: 1982
Pages: 314
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
From the B&N Reads Blog

Customer Reviews