COMP2600 - Formal Methods In Software Engineering

1 Item(s)

Logic and Discrete Mathematics: A Computer Science Perspective

Grassmann, Winfried, Karl; Tremblay, Jean-Paul

ISBN : 9780135012062