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
Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere - Program Development by Refinement, Häftad

Program Development by Refinement

Case Studies Using the B Method

AvKaisa Sere,Emil Sekerinskim. fl.

Häftad, Engelska, 1998

2 889 kr

Skickas inom 10-15 vardagar

Marc Frappier, Henri Habrias - Software Specification Methods, Häftad

Software Specification Methods

An Overview Using a Case Study

AvMarc Frappier,Henri Habrias

Häftad, Engelska, 2000

1 449 kr

Skickas inom 10-15 vardagar

Hung Dang Van, Chris George, Tomasz Janowski, Richard Moore - Specification Case Studies in RAISE, Häftad

Specification Case Studies in RAISE

AvHung Dang Van,Chris Georgem. fl.

Häftad, Engelska, 2002

1 449 kr

Skickas inom 10-15 vardagar

Michael G. Hinchey, Jonathan P. Bowen - Industrial-Strength Formal Methods in Practice, Häftad

Industrial-Strength Formal Methods in Practice

AvMichael G. Hinchey,Jonathan P. Bowen

Häftad, Engelska, 1999

2 169 kr

Skickas inom 10-15 vardagar

Agnes Kaposi, Margaret Myers - Systems, Models and Measures, Häftad

Systems, Models and Measures

AvAgnes Kaposi,Margaret Myers

Häftad, Engelska, 1993

729 kr

Skickas inom 10-15 vardagar

Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie - Proof in VDM: A Practitioner’s Guide, Häftad

Proof in VDM: A Practitioner’s Guide

AvJuan C. Bicarregui,John Fitzgeraldm. fl.

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Loe M.G. Feijs, Hans B.M. Jonkers, Cornelis A. Middelburg - Notations for Software Design, Häftad

Notations for Software Design

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

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Carroll Morgan, Trevor Vickers - On the Refinement Calculus, Häftad

On the Refinement Calculus

AvCarroll Morgan,Trevor Vickers

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Stephen J. Goldsack, Stuart J.H. Kent - Formal Methods and Object Technology, Häftad

Formal Methods and Object Technology

AvStephen J. Goldsack,Stuart J.H. Kent

Häftad, Engelska, 1996

1 449 kr

Skickas inom 10-15 vardagar

Kevin Lano - Formal Object-Oriented Development, Häftad

Formal Object-Oriented Development

AvKevin Lano

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Kevin Lano - B Language and Method, Häftad

B Language and Method

A Guide to Practical Formal Development

AvKevin Lano

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Philippe Palanque, Fabio Paterno - Formal Methods in Human-Computer Interaction, Häftad

Formal Methods in Human-Computer Interaction

AvPhilippe Palanque,Fabio Paterno

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Derek J. Andrews - Theory and Practice of Program Development, Häftad

Theory and Practice of Program Development

AvDerek J. Andrews

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Juan C. Bicarregui - Proof in VDM: Case Studies, Häftad

Proof in VDM: Case Studies

AvJuan C. Bicarregui

Häftad, Engelska, 1998

1 449 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Michael G. Hinchey - High-Integrity System Specification and Design, Häftad

High-Integrity System Specification and Design

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar