8 电子书 Michael G. Hinchey
Jonathan P. Bowen & Michael G. Hinchey: Industrial-Strength Formal Methods in Practice
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 …
PDF
英语
DRM
€166.09
Jonathan P. Bowen & Michael G. Hinchey: High-Integrity System Specification and Design
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(deg) 18 …
PDF
英语
DRM
€57.84
Michael G. Hinchey & James L. Rash: Formal Approaches to Agent-Based Systems
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 Co …
PDF
英语
DRM
€57.17
Diana Gordon-Spears & Michael G. Hinchey: Formal Approaches to Agent-Based Systems
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 (Cod …
PDF
英语
DRM
€57.96
Diana Gordon & Michael G. Hinchey: Formal Approaches to Agent-Based Systems
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.T …
PDF
英语
DRM
€57.76
Jonathan P. Bowen & Andreas Fett: ZUM ’98: The Z Formal Specification Notation
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 …
PDF
英语
DRM
€57.99
Michael G. Hinchey & Patricia Rago: Innovative Concepts for Autonomic and Agent-Based Systems
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 System …
PDF
英语
DRM
€57.59