The logical basis for computer programming - Manna, Zohar,Waldinger, Richard (Addison-Wesley)
Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming
Keywords: Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic; Symbolic and mathematical; Programmierung; Mathematische Logik