Michael G. Hinchey - Böcker

Visar alla böcker från författaren Michael G. Hinchey.
10 produkter
Michael G. Hinchey, Jonathan P. Bowen - Industrial-Strength Formal Methods in Practice, Häftad

Häftad, Engelska, 1999

2 169 kr

Skickas inom 7-10 vardagar
Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff - Formal Approaches to Agent-Based Systems, Häftad

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey - Formal Approaches to Agent-Based Systems, Häftad

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Michael G. Hinchey - ZUM '95: The Z Formal Specification Notation, Häftad

Häftad, Engelska, 1995

1 419 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Michael G. Hinchey, David Till - ZUM'97: The Z Formal Specification Notation, Häftad

Häftad, Engelska, 1997

739 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey - ZUM '98: The Z Formal Specification Notation, Häftad

Häftad, Engelska, 1998

739 kr

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

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering, Häftad

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 vardagar