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
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski m. fl.
Häftad, 1998
2889 kr
Lägg i varukorg
Software Specification Methods
An Overview Using a Case Study
Av Marc Frappier, Henri Habrias
Häftad, 2000
1449 kr
Lägg i varukorg
Specification Case Studies in RAISE
Av Hung Dang Van, Chris George m. fl.
Häftad, 2002
1449 kr
Lägg i varukorg
Industrial-Strength Formal Methods in Practice
Av Michael G. Hinchey, Jonathan P. Bowen
Häftad, 1999
2169 kr
Lägg i varukorg
Proof in VDM: A Practitioner’s Guide
Av Juan C. Bicarregui, John Fitzgerald m. fl.
Häftad, 1993
709 kr
Lägg i varukorg
Notations for Software Design
Av Loe M.G. Feijs, Hans B.M. Jonkers m. fl.
Häftad, 1994
729 kr
Lägg i varukorg
Formal Methods and Object Technology
Av Stephen J. Goldsack, Stuart J.H. Kent
Häftad, 1996
1449 kr
Lägg i varukorg
B Language and Method
A Guide to Practical Formal Development
Av Kevin Lano
Häftad, 1996
729 kr
Lägg i varukorg
Formal Methods in Human-Computer Interaction
Av Philippe Palanque, Fabio Paterno
Häftad, 1997
729 kr
Lägg i varukorg
High-Integrity System Specification and Design
Av Jonathan P. Bowen, Michael G. Hinchey
Häftad, 1999
729 kr
Lägg i varukorg