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

Description

This is a Print on Demand title. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc.

PL/CV (COMPUTER PROGRAM LANGUAGE)COMPUTER SOFTWARE_TESTING

1982Book

Author(s)R. L. Constable, S. D. Johnson, C. D. Eichenlaub

PublisherSpringer

ISBN9783540114925

LanguageEnglish

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61)

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Book

Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)

Programming Languages and Their Definition Selected Papers

Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

Mes premieres constructions de programmes (Lecture Notes in Computer Science, 55) (French Edition)

Algorithm Design for Computer System Design (CISM International Centre for Mechanical Sciences, 284)