Buchportal für Bücher die eine ISBN tragen.

Reihe Formal Approaches to Computing and Information Technology (FACIT)

Buchcover Constructing Correct Software

Constructing Correct Software

Springer London

Buchcover Refinement in Z and Object-Z

Refinement in Z and Object-Z

Foundations and Advanced Applications

Springer London

Buchcover Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer London

Buchcover Program Development by Refinement

Program Development by Refinement

Case Studies Using the B Method

Springer London

Buchcover Software Specification Methods

Software Specification Methods

An Overview Using a Case Study

Springer London

Buchcover On the Refinement Calculus

On the Refinement Calculus

Springer London

Buchcover A Theory and Practice of Program Development

A Theory and Practice of Program Development

Derek J. Andrews

Springer London

Buchcover The B Language and Method

The B Language and Method

A Guide to Practical Formal Development

Springer London

Buchcover Proof in VDM: Case Studies

Proof in VDM: Case Studies

Springer London

Buchcover Systems, Models and Measures

Systems, Models and Measures

Springer London

30 Treffer 1 2 3