Hoppa till sidans huvudinnehåll

Formal Approaches to Computing and Information Technology (FACIT) – serie

Visar alla böcker i serien Formal Approaches to Computing and Information Technology (FACIT).
15 produkter

Program Development by Refinement

Case Studies Using the B Method

AvKaisa Sere,Emil Sekerinskim. fl.

Häftad, Engelska, 1998

2 829 kr

Skickas inom 10-15 vardagar

Software Specification Methods

An Overview Using a Case Study

AvMarc Frappier,Henri Habrias

Häftad, Engelska, 2000

1 419 kr

Skickas inom 10-15 vardagar

Specification Case Studies in RAISE

AvHung Dang Van,Chris Georgem. fl.

Häftad, Engelska, 2002

1 419 kr

Skickas inom 10-15 vardagar

Industrial-Strength Formal Methods in Practice

AvMichael G. Hinchey,Jonathan P. Bowen

Häftad, Engelska, 1999

2 129 kr

Skickas inom 10-15 vardagar

Systems, Models and Measures

AvAgnes Kaposi,Margaret Myers

Häftad, Engelska, 1993

719 kr

Skickas inom 10-15 vardagar

Proof in VDM: A Practitioner’s Guide

AvJuan C. Bicarregui,John Fitzgeraldm. fl.

Häftad, Engelska, 1993

699 kr

Skickas inom 10-15 vardagar

Notations for Software Design

AvLoe M.G. Feijs,Hans B.M. Jonkersm. fl.

Häftad, Engelska, 1994

719 kr

Skickas inom 10-15 vardagar

On the Refinement Calculus

AvCarroll Morgan,Trevor Vickers

Häftad, Engelska, 1994

719 kr

Skickas inom 10-15 vardagar

Formal Methods and Object Technology

AvStephen J. Goldsack,Stuart J.H. Kent

Häftad, Engelska, 1996

1 419 kr

Skickas inom 10-15 vardagar

Formal Object-Oriented Development

AvKevin Lano

Häftad, Engelska, 1995

719 kr

Skickas inom 10-15 vardagar

B Language and Method

A Guide to Practical Formal Development

AvKevin Lano

Häftad, Engelska, 1996

719 kr

Skickas inom 10-15 vardagar

Formal Methods in Human-Computer Interaction

AvPhilippe Palanque,Fabio Paterno

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar

Theory and Practice of Program Development

AvDerek J. Andrews

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar

Proof in VDM: Case Studies

AvJuan C. Bicarregui

Häftad, Engelska, 1998

1 419 kr

Skickas inom 10-15 vardagar

High-Integrity System Specification and Design

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1999

719 kr

Skickas inom 10-15 vardagar