Gå direkt till innehållet
Deductive Program Design
Spara

Deductive Program Design

inbunden, 1996
Engelska
Lägsta pris på PriceRunner
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories.
Redaktör
Manfred Broy
Upplaga
1996 ed.
ISBN
9783540609476
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
1996-06-18
Sidor
470