C.B. Jones – författare

Visar alla böcker från författaren C.B. Jones. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Howls From the Dark Ages: An Anthology of Medieval Horror

   Av Solomon Forse, Jessica Peter m. fl.

   E-bok

   34 kr

   Lägg i varukorg

2. 

   mural: A Formal Development Support System

   Av R.D. Moore, Peter Lindsay m. fl.

   E-bok, 2012

   755 kr

   Lägg i varukorg

   Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural …

3. 

   Howls From the Wreckage: An Anthology of Disaster Horror

   Av Lindsey Ragsdale, Gully Novaro m. fl.

   E-bok

   32 kr

   Lägg i varukorg

4. 

   Vienna Development Method: The Meta-Language

   Av D. Bjorner, C.B. Jones

   Häftad, 1978

   343 kr

   Lägg i varukorg

5. 

   mural: A Formal Development Support System

   Av C.B. Jones, K.D. Jones m. fl.

   Häftad, 1991

   567 kr

   Lägg i varukorg

   Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural …

6. 

   AHH! That's What I Call Horror: An Anthology of '90s Horror

   Av Damien B. Raphael, J.V. Gachs m. fl.

   E-bok

   57 kr

   Lägg i varukorg