An introduction to the PL/CV2 programming logic /

Bibliographic Details
Main Author:	Constable, R. L. (Robert L.)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Johnson, Scott D., Eichenlaub, C. D.
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 135.
Subjects:	PL/CV (Computer program language) Computer programs > Verification. PL-CV2. programmation en logique. PL/CS (Langage de programmation) Programmation (Informatique) PL/CV (Langage de programmation) PL/1. Programacao De Computadores. Electronic books.
Online Access:	Connect to the full text of this electronic book

by Constable, R. L. (Robert L.)
Published 1982

Book