J.A. Hall – författare

Visar alla böcker från författaren J.A. Hall. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Z User Workshop, Cambridge 1994

   Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

   Av J.A. Hall, J.P. Bowen

   E-bok, 2012

   739 kr

   Lägg i varukorg

   This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, …

2. 

   Chronicles of the Missing

   Av J.A. Hall

   E-bok, 2012

   61 kr

   Lägg i varukorg

   Not in the beginning; but, later, towards the end. We were all waiting for the next shoe to drop after 9/11; and, it did. As events unfold, F.B.I., "Go Teams," were dispatched to various cities to gather intelligence, sample cases, take interviews, and determine facts. The scientific community …

3. 

   Z User Workshop, Cambridge 1994

   Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

   Av J.P. Bowen, J.A. Hall

   Häftad, 1994

   568 kr

   Lägg i varukorg

   This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, …