Visar resultat för...

Formal Approaches to Computing and Information Technology (FACIT)

15 produkter
Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere - Program Development by Refinement, Häftad

Häftad, Engelska, 1998

2 869 kr

Skickas inom 7-10 vardagar
Marc Frappier, Henri Habrias - Software Specification Methods, Häftad

Häftad, Engelska, 2000

1 449 kr

Skickas inom 7-10 vardagar
Hung Dang Van, Chris George, Tomasz Janowski, Richard Moore - Specification Case Studies in RAISE, Häftad

Häftad, Engelska, 2002

1 449 kr

Skickas inom 7-10 vardagar
Michael G. Hinchey, Jonathan P. Bowen - Industrial-Strength Formal Methods in Practice, Häftad

Häftad, Engelska, 1999

2 159 kr

Skickas inom 7-10 vardagar
Agnes Kaposi, Margaret Myers - Systems, Models and Measures, Häftad

Häftad, Engelska, 1993

709 kr

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

Häftad, Engelska, 1993

709 kr

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

Häftad, Engelska, 1994

729 kr

Skickas inom 7-10 vardagar
Carroll Morgan, Trevor Vickers - On the Refinement Calculus, Häftad

Häftad, Engelska, 1994

709 kr

Skickas inom 7-10 vardagar
Stephen J. Goldsack, Stuart J.H. Kent, Stuart J. H. Kent - Formal Methods and Object Technology, Häftad

Häftad, Engelska, 1996

1 449 kr

Skickas inom 7-10 vardagar
Kevin Lano - Formal Object-Oriented Development, Häftad

Häftad, Engelska, 1995

729 kr

Skickas inom 7-10 vardagar
Kevin Lano - B Language and Method, Häftad

Häftad, Engelska, 1996

729 kr

Skickas inom 7-10 vardagar
Philippe Palanque, Fabio Paterno - Formal Methods in Human-Computer Interaction, Häftad

Häftad, Engelska, 1997

729 kr

Skickas inom 7-10 vardagar
Derek J. Andrews - Theory and Practice of Program Development, Häftad

Häftad, Engelska, 1997

729 kr

Skickas inom 7-10 vardagar
Juan C. Bicarregui - Proof in VDM: Case Studies, Häftad

Häftad, Engelska, 1998

1 449 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Michael G. Hinchey - High-Integrity System Specification and Design, Häftad

Häftad, Engelska, 1999

729 kr

Skickas inom 7-10 vardagar