Articoli correlati a An Introduction to the PL/CV2 Programming Logic (Lecture...

An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science): 135 - Brossura

Constable, R. L.; Johnson, S. D.; Eichenlaub, C. D.

 
9783540114925: An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science): 135

Sinossi

The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.