Formal Approaches to Computing and Information Technology (FACIT)

Visar alla böcker i serien Formal Approaches to Computing and Information Technology (FACIT). Handla med fri frakt och snabb leverans.

1. 

   Program Development by Refinement

   Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere · 1998

   • Häftad 2273 kr
2. 

   Software Specification Methods

   Marc Frappier, Henri Habrias · 2000

   • Häftad 1140 kr
3. 

   Specification Case Studies in RAISE

   Hung Dang Van, Chris George, Tomasz Janowski, Richard Moore · 2002

   • Häftad 1140 kr
4. 

   Industrial-Strength Formal Methods in Practice

   Michael G. Hinchey, Jonathan P. Bowen · 1999

   • Häftad 1706 kr
5. 

   Systems, Models and Measures

   Agnes Kaposi, Margaret Myers · 1993

   • Häftad 576 kr
6. 

   Proof in VDM: A Practitioner’s Guide

   Juan C. Bicarregui, John Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie · 1993

   • Häftad 559 kr
7. 

   Notations for Software Design

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

   • Häftad 576 kr
8. 

   On the Refinement Calculus

   Carroll Morgan, Trevor Vickers · 1994

   • Häftad 576 kr
9. 

   Formal Methods and Object Technology

   Stephen J. Goldsack, Stuart J.H. Kent · 1996

   • Häftad 1144 kr
10. 

    Formal Object-Oriented Development

    Kevin Lano · 1995

    • Häftad 576 kr
11. 

    B Language and Method

    Kevin Lano · 1996

    • Häftad 576 kr
12. 

    Formal Methods in Human-Computer Interaction

    Philippe Palanque, Fabio Paterno · 1997

    • Häftad 576 kr
13. 

    Theory and Practice of Program Development

    Derek J. Andrews · 1997

    • Häftad 576 kr
14. 

    Proof in VDM: Case Studies

    Juan C. Bicarregui · 1998

    • Häftad 1144 kr
15. 

    High-Integrity System Specification and Design

    Jonathan P. Bowen, Michael G. Hinchey · 1999

    • Häftad 576 kr