A programming logic

A programming logic

4.11 - 1251 ratings - Source

Formal arguments in the logic express reasoning about integers, strings and PL/ CS commands. These arguments can be ... This Reference Manual and Usera#39;s Guide is a brief account of the PL/CV logical system. It is written for a readeranbsp;...

Title:A programming logic
Author:Robert L. Constable, Michael J. O'Donnell
Publisher: - 1978


You Must CONTINUE and create a free account to access unlimited downloads & streaming