Reasoned programming


K. Broda ... [et al.]
Bok Engelsk 1994
Utgitt
New York : Prentice Hall , 1994
Omfang
XVI, 296 s. : ill.
Emner
Electronic digital computers - Programming
Software engineering
programutvikling formelle metoder logisk resonnering programmering miranda
ISBN
0130988316

Bibliotek som har denne