Filtre: Engleză

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Hung Dang Van et al.

8 feb 2002

Preț: 626^.57 lei 783^.22 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ț: 623^.07 lei 778^.83 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ț: 955^.62 lei 1194^.53 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ț: 343^.68 lei 429^.60 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ț: 1226^.07 lei 1532^.59 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Juan C. Bicarregui

2 mar 1998

Preț: 618^.00 lei 772^.50 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ț: 326^.24 lei 407^.80 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ț: 328^.29 lei 410^.37 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ț: 317^.23 lei 396^.54 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ț: 624^.82 lei 781^.02 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Autor Kevin Lano

25 oct 1995

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Carroll Morgan et al.

13 dec 1994

Preț: 366^.76 lei

6-8 săpt.

Formal Approaches to Computing and Information Technology (FACIT)

Autor Loe M.G. Feijs et al.

19 oct 1994

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Formal Approaches to Computing and Information Technology (FACIT)

Autor Agnes Kaposi et al.

dec 1993

Preț: 376^.75 lei

6-8 săpt.

Formal Approaches to Computing and Information Technology (FACIT)

Autor Juan C. Bicarregui et al.

dec 1993

Preț: 323^.73 lei 404^.66 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)