Formal semantics of Programming languages (Prentice-Hall series in automatic computation) - Hardcover

Randall Rustin

 
9780133290608: Formal semantics of Programming languages (Prentice-Hall series in automatic computation)