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

Industrial-Strength Formal Methods in Practice

Av Michael G. Hinchey, Jonathan P. Bowen

Häftad, Engelska, 1999

2 179 kr

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

Formal Approaches to Agent-Based Systems

Av Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Häftad, Engelska, 2005

709 kr

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

Formal Approaches to Agent-Based Systems

Av Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears

Häftad, Engelska, 2003

709 kr

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

Formal Approaches to Agent-Based Systems

Av James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey

Häftad, Engelska, 2001

739 kr

Skickas inom 10-15 vardagar
Jonathan P. Bowen, Michael G. Hinchey - ZUM '95: The Z Formal Specification Notation, Häftad
Del 967 - Lecture Notes in Computer Science

ZUM '95: The Z Formal Specification Notation

Av Jonathan P. Bowen, Michael G. Hinchey

Häftad, Engelska, 1995

1 409 kr

Skickas inom 10-15 vardagar
Jonathan P. Bowen, Michael G. Hinchey, David Till - ZUM'97: The Z Formal Specification Notation, Häftad
Del 1212 - Lecture Notes in Computer Science

ZUM'97: The Z Formal Specification Notation

Av Jonathan P. Bowen, Michael G. Hinchey, David Till

Häftad, Engelska, 1997

739 kr

Skickas inom 10-15 vardagar
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey - ZUM '98: The Z Formal Specification Notation, Häftad
Del 1493 - Lecture Notes in Computer Science

ZUM '98: The Z Formal Specification Notation

Av Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

Häftad, Engelska, 1998

739 kr

Skickas inom 10-15 vardagar
Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski - Innovative Concepts for Autonomic and Agent-Based Systems, Häftad

Innovative Concepts for Autonomic and Agent-Based Systems

Av Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski

Häftad, Engelska, 2006

739 kr

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

High-Integrity System Specification and Design

Av Jonathan P. Bowen, Michael G. Hinchey

Häftad, Engelska, 1999

739 kr

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

Formal Methods and Software Engineering

Av Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar