C.T. Sennett – författare

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

2 produkter

1. 

   High-Integrity Software

   Av C.T. Sennett

   E-bok, 2012

   755 kr

   Lägg i varukorg

   4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language …

2. 

   High-Integrity Software

   Av C.T. Sennett

   Häftad, 2013

   568 kr

   Lägg i varukorg

   4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language …