Debugging IV
Published in Birkhäuser Basel eBooks • Jan 1, 1983
NobleIDNI3P48W44R63S87
Authors:,
Ian Stewart
Robin L. Jones
Abstract
ZusammenfassungWie können wir schlüssig beweisen, daß ein Programm genau das leistet, wozu es geschrieben worden ist? Ich will mich nicht auf komplizierte philosophische Erörterungen einlassen (wir wären auf dem besten Weg dazu), aber grob gesprochen ist das so, als wolle man von einem Astronomen wi...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!