Sebanyak 3 item atau buku ditemukan

Program Development Using Refinement Logic

... Concatenation and SubSequence.12 This is important because in reasoning about the use of a stack s , one often needs ... so POP ( s ) is legal only if s is a stack and s is not empty ; however the assertion language is not similarly ...

A Logic for Correct Program Development

The rules of inference ( allowing validity to be extended to other specifications ) are formulated as a set of refinement rules that describe legal reasoning steps in formal developments . A successful development begins with a problem ...

Introduction to Programming and Computer Science

This book concentrates on computer languages, their major components, and how those components are implemented in some languages. -- Preface.

This book concentrates on computer languages, their major components, and how those components are implemented in some languages. -- Preface.