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-642-64849-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2011
Erscheinungsdatum26.09.2011
Seiten470 Seiten
SpracheEnglisch
IllustrationenIX, 470 p.
Artikel-Nr.18230840
Rubriken