Algebraic Semantics of Imperative Programs [Foundations of Computing] (Hardcover) ISBN-13: 9780262071727 ISBN-10: 026207172X Genres: Computers & Technology, Science & Math, Engineering & Transportation ? |
Algebraic Semantics of Imperative Programs [Foundations of Computing] (Hardcover) ISBN-13: 9780262071727 ISBN-10: 026207172X Genres: Computers & Technology, Science & Math, Engineering & Transportation ? |