Stephen J. Goldsack – författare

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

2 produkter

1. 

   Formal Methods and Object Technology

   Av Stuart J.H. Kent, Stephen J. Goldsack

   E-bok, 2012

   1502 kr

   Lägg i varukorg

   Rationale Software engineering aims to develop software by using approaches which en­ able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using …

2. 

   Formal Methods and Object Technology

   Av Stephen J. Goldsack, Stuart J.H. Kent

   Häftad, 1996

   1128 kr

   Lägg i varukorg

   Rationale Software engineering aims to develop software by using approaches which en­ able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using …