Articles liés à An Introduction to the PL/CV2 Programming Logic (Lecture...

An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science) - Couverture souple

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

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

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de la quatrième de couverture

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.