[K. Rustan M. Leino]
TP3
9780262546232 USD70.0
The Mit Press 2023-03-07 Paperback
Computer programming / software development
1 Total: 1Records