The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

Bibliografiska uppgifter
Huvudupphovsman: Manna, Zohar
Övriga upphovsmän: Waldinger, Richard
Materialtyp: Bok
Språk:English
Publicerad: Reading, Mass. Addison-Wesley c1993.
Ämnen: