Formal Approaches to Computing and Information Technology (FACIT)

Editat de Hung Dang Van et al.

8 feb 2002

Preț: 651^.75 lei 814^.68 lei

6-8 săpt.

-20%

Software Specification Methods: An Overview Using a Case Study

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Marc Frappier et al.

16 oct 2000

Preț: 648^.11 lei 810^.14 lei

6-8 săpt.

-20%

Industrial-Strength Formal Methods in Practice

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Michael G. Hinchey et al.

17 sep 1999

Preț: 994^.26 lei 1242^.82 lei

6-8 săpt.

-20%

High-Integrity System Specification and Design

Formal Approaches to Computing and Information Technology (FACIT)

Autor Jonathan P. Bowen et al.

12 apr 1999

Preț: 357^.30 lei 446^.63 lei

6-8 săpt.

-20%

Program Development by Refinement: Case Studies Using the B Method

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Emil Sekerinski et al.

23 oct 1998

Preț: 1275^.75 lei 1594^.69 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Juan C. Bicarregui

2 mar 1998

Preț: 642^.84 lei 803^.55 lei

6-8 săpt.

-20%

Formal Methods in Human-Computer Interaction

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Philippe Palanque et al.

29 oct 1997

Preț: 339^.14 lei 423^.93 lei

6-8 săpt.

-20%

A Theory and Practice of Program Development

Formal Approaches to Computing and Information Technology (FACIT)

Autor Derek J. Andrews

4 iul 1997

Preț: 341^.30 lei 426^.63 lei

6-8 săpt.

-20%

The B Language and Method: A Guide to Practical Formal Development

Formal Approaches to Computing and Information Technology (FACIT)

Autor Kevin Lano

14 mai 1996

Preț: 329^.76 lei 412^.21 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Stephen J. Goldsack et al.

26 apr 1996

Preț: 649^.93 lei 812^.42 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Autor Kevin Lano

25 oct 1995

Preț: 339^.47 lei 424^.34 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Carroll Morgan et al.

13 dec 1994

Preț: 381^.21 lei

6-8 săpt.

Formal Approaches to Computing and Information Technology (FACIT)

Autor Loe M.G. Feijs et al.

19 oct 1994

Preț: 339^.47 lei 424^.34 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Autor Agnes Kaposi et al.

dec 1993

Preț: 391^.61 lei

6-8 săpt.

Formal Approaches to Computing and Information Technology (FACIT)

Autor Juan C. Bicarregui et al.

dec 1993

Preț: 336^.54 lei 420^.67 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Specification Case Studies in RAISE

Software Specification Methods: An Overview Using a Case Study

Industrial-Strength Formal Methods in Practice

High-Integrity System Specification and Design

Program Development by Refinement: Case Studies Using the B Method

Proof in VDM: Case Studies

Formal Methods in Human-Computer Interaction

A Theory and Practice of Program Development

The B Language and Method: A Guide to Practical Formal Development

Formal Methods and Object Technology

Formal Object-Oriented Development

On the Refinement Calculus

Notations for Software Design

Systems, Models and Measures

Proof in VDM: A Practitioner’s Guide

Papetărie, jocuri, reviste

Formal Approaches to Computing and Information Technology (FACIT)