Michael G. Hinchey – författare

Visar alla böcker från författaren Michael G. Hinchey. Handla med fri frakt och snabb leverans.

18 produkter

1. 

   Industrial-Strength Formal Methods in Practice

   Av Jonathan P. Bowen, Michael G. Hinchey

   E-bok, 2012

   2127 kr

   Lägg i varukorg

   Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, …

2. 

   High-Integrity System Specification and Design

   Av Michael G. Hinchey, Jonathan P. Bowen

   E-bok, 2012

   732 kr

   Lägg i varukorg

   Errata, detected in Taylor''s Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor''s Logarithms, for cos. 4° 18''3", read cos. 14° 18''2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR''S …

3. 

   Industrial-Strength Formal Methods in Practice

   Av Michael G. Hinchey, Jonathan P. Bowen

   Häftad, 1999

   1686 kr

   Lägg i varukorg

   Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, …

4. 

   Formal Approaches to Agent-Based Systems

   Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

   Av Michael G. Hinchey, James L. Rash m. fl.

   Häftad, 2005

   567 kr

   Lägg i varukorg

   The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. …

5. 

   Formal Approaches to Agent-Based Systems

   Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

   Av Christopher A. Rouff, Walter F. Truszkowski m. fl.

   E-bok, 2005

   734 kr

   Lägg i varukorg

   The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. …

6. 

   Formal Approaches to Agent-Based Systems

   Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

   Av Michael G. Hinchey, James L. Rash m. fl.

   Häftad, 2003

   551 kr

   Lägg i varukorg

   The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While …

7. 

   Formal Approaches to Agent-Based Systems

   First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

   Av James L. Rash, Christopher A. Rouff m. fl.

   Häftad, 2001

   567 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.The 22 revised full papers presented together with 13 posters and two panel discussion reports were …

8. 

   Formal Approaches to Agent-Based Systems

   Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

   Av Diana Gordon-Spears, Christopher Rouff m. fl.

   E-bok, 2003

   755 kr

   Lägg i varukorg

   The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While …

9. 

   Formal Approaches to Agent-Based Systems

   First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

   Av Michael G. Hinchey, Diana Gordon m. fl.

   E-bok, 2003

   739 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were …

10. 

    ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

    Av Michael G. Hinchey, Andreas Fett m. fl.

    E-bok, 2011

    739 kr

    Lägg i varukorg

    1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least …

11. 

    ZUM '95: The Z Formal Specification Notation

    9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

    Av Jonathan P. Bowen, Michael G. Hinchey

    Häftad, 1995

    1128 kr

    Lägg i varukorg

    This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, …

12. 

    ZUM'97: The Z Formal Specification Notation

    10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

    Av Jonathan P. Bowen, Michael G. Hinchey m. fl.

    Häftad, 1997

    567 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical …

13. 

    ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

    Av Jonathan P. Bowen, Andreas Fett m. fl.

    Häftad, 1998

    567 kr

    Lägg i varukorg

    1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least …

14. 

    Innovative Concepts for Autonomic and Agent-Based Systems

    Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers

    Av Michael G. Hinchey, Patricia Rago m. fl.

    Häftad, 2006

    567 kr

    Lägg i varukorg

    The second WRAC, NASA/IEEE Workshop on Radical Agent Concepts, was held at NASA Goddard Space Flight Center, Greenbelt, MD, September 20–22, 2005. The workshop was sponsored by the Information Systems Division of NASA Goddard and IEEE Computer Society Technical Committee on Complexity in Computing …

15. 

    Innovative Concepts for Autonomic and Agent-Based Systems

    Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers

    Av Walt Truszkowski, Christopher A. Rouff m. fl.

    E-bok, 2006

    734 kr

    Lägg i varukorg

    The second WRAC, NASA/IEEE Workshop on Radical Agent Concepts, was held at NASA Goddard Space Flight Center, Greenbelt, MD, September 20–22, 2005. The workshop was sponsored by the Information Systems Division of NASA Goddard and IEEE Computer Society Technical Committee on Complexity in Computing …

16. 

    High-Integrity System Specification and Design

    Av Jonathan P. Bowen, Michael G. Hinchey

    Häftad, 1999

    567 kr

    Lägg i varukorg

    Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S …

17. 

    Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

    Av Michael Butler, Michael G. Hinchey m. fl.

    Häftad, 2007

    567 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 …

18. 

    Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

    Av Maria M. Larrondo-Petrie, Michael G. Hinchey m. fl.

    E-bok, 2007

    734 kr

    Lägg i varukorg