Produkt
KlappentextDeductive 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.
Details
ISBN/GTIN978-3-540-60947-6
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr1996
Erscheinungsdatum18.06.1996
Seiten470 Seiten
SpracheEnglisch
Gewicht836 g
IllustrationenIX, 470 p.
Artikel-Nr.11002771
Rubriken