Program Optimization Using Invariants

Λεπτομέρειες βιβλιογραφικής εγγραφής

Εκδόθηκε σε:	IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378
Κύριος συγγραφέας:	Katz, S
Έκδοση:	IEEE Computer Society
Θέματα:	Software Programs Optimization Mathematical models Computer science Computer programming Computers Semantics Colleges & universities
Διαθέσιμο Online:	Citation/Abstract Full Text - PDF
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!