Hoppa till sidans huvudinnehåll

Visar resultat för...

Formal Approaches to Computing and Information Technology (FACIT)

15 produkter

Program Development by Refinement

Case Studies Using the B Method

AvKaisa Sere,Emil Sekerinski,Emil Sekerinski,Kaisa Sere

Häftad, Engelska, 1998

2 779 kr

Skickas inom 10-15 vardagar

Software Specification Methods

An Overview Using a Case Study

AvMarc Frappier,Henri Habrias

Häftad, Engelska, 2000

1 409 kr

Skickas inom 10-15 vardagar

Specification Case Studies in RAISE

AvHung Dang Van,Chris George,Tomasz Janowski,Richard Moore

Häftad, Engelska, 2002

1 409 kr

Skickas inom 10-15 vardagar

Industrial-Strength Formal Methods in Practice

AvMichael G. Hinchey,Jonathan P. Bowen

Häftad, Engelska, 1999

2 089 kr

Skickas inom 10-15 vardagar

Systems, Models and Measures

AvAgnes Kaposi,Margaret Myers

Häftad, Engelska, 1993

689 kr

Skickas inom 10-15 vardagar

Proof in VDM: A Practitioner’s Guide

AvJuan C. Bicarregui,John Fitzgerald,Peter A. Lindsay,Richard Moore,Brian Ritchie

Häftad, Engelska, 1993

689 kr

Skickas inom 10-15 vardagar

Notations for Software Design

AvLoe M.G. Feijs,Hans B.M. Jonkers,Cornelis A. Middelburg,Loe M. G. Feijs,Hans B. M. Jonkers

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar

On the Refinement Calculus

AvCarroll Morgan,Trevor Vickers

Häftad, Engelska, 1994

689 kr

Skickas inom 10-15 vardagar

Formal Methods and Object Technology

AvStephen J. Goldsack,Stuart J.H. Kent,Stuart J. H. Kent

Häftad, Engelska, 1996

1 409 kr

Skickas inom 10-15 vardagar

Formal Object-Oriented Development

AvKevin Lano

Häftad, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar

B Language and Method

A Guide to Practical Formal Development

AvKevin Lano

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar

Formal Methods in Human-Computer Interaction

AvPhilippe Palanque,Fabio Paterno

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Theory and Practice of Program Development

AvDerek J. Andrews

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Proof in VDM: Case Studies

AvJuan C. Bicarregui

Häftad, Engelska, 1998

1 409 kr

Skickas inom 10-15 vardagar

High-Integrity System Specification and Design

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar