Constructing correct software

Autor*innen

• John Cooke

Parameter

• 395 Seiten
• 14 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

An explanation of the constructive approach to software development. It involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques.

• Sprache: Englisch
• Erscheinungsdatum: 1998
• Einband: Paperback