Dan Craigen – författare

Visar alla böcker från författaren Dan Craigen. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

   Av Susan Gerhart, Dan Craigen

   E-bok, 2012

   717 kr

   Lägg i varukorg

   Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected …

2. 

   Formal Methods for Trustworthy Computer Systems (FM89)

   Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

   Av Dan Craigen

   E-bok, 2013

   755 kr

   Lägg i varukorg

   The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in …

3. 

   Formal Methods for Trustworthy Computer Systems (FM89)

   Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

   Av Dan Craigen

   Häftad, 1990

   567 kr

   Lägg i varukorg

   The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in …