info@buecher-doppler.ch
056 222 53 47
Warenkorb
Ihr Warenkorb ist leer.
Gesamt
0,00 CHF
Zum Warenkorb
Zur Kasse

Kategorien

Art

Preisspanne

Zurücksetzen

15 Ergebnisse.

Specification Case Studies in Raise

Specification Case Studies in ...

Folgt in ca. 5 Arbeitstagen
134,00 CHF
Software Specification Methods

Software Specification Methods

Lieferbar in ca. 20-45 Arbeitstagen
147,00 CHF
Proof in VDM: Case Studies

Proof in VDM: Case ...

Folgt in ca. 5 Arbeitstagen
134,00 CHF
Formal Methods and Object Technology

Formal Methods and Object ...

Folgt in ca. 5 Arbeitstagen
134,00 CHF
The B Language and Method

The B Language and ...

Folgt in ca. 5 Arbeitstagen
69,00 CHF
Formal Methods in Human-Computer Interaction

Formal Methods in Human-Computer ...

Folgt in ca. 5 Arbeitstagen
69,00 CHF
A Theory and Practice of Program Development

A Theory and Practice ...

Folgt in ca. 5 Arbeitstagen
69,00 CHF
High-Integrity System Specification and Design

High-Integrity System Specification and ...

Folgt in ca. 5 Arbeitstagen
69,00 CHF
Notations for Software Design

Notations for Software Design

Folgt in ca. 5 Arbeitstagen
69,00 CHF
Systems, Models and Measures

Systems, Models and Measures

Folgt in ca. 5 Arbeitstagen
69,00 CHF
Proof in VDM: A Practitioner¿s Guide

Proof in VDM: A ...

Folgt in ca. 5 Arbeitstagen
69,00 CHF
On the Refinement Calculus

On the Refinement Calculus

Folgt in ca. 5 Arbeitstagen
69,00 CHF
Formal Object-Oriented Development

Formal Object-Oriented Development

Folgt in ca. 5 Arbeitstagen
69,00 CHF
Program Development by Refinement

Program Development by Refinement

Folgt in ca. 5 Arbeitstagen
236,00 CHF
Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in ...

Folgt in ca. 5 Arbeitstagen
188,00 CHF