Program Proofs
K. Rustan M. Leino, Kaleb Leino
MIT Press Ltd, 2023
92,75 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9780262546232
- ISBN-10
- 026254623X
- Publisher
- MIT Press Ltd
- Year
- 2023
- Publication date
- 2023-03-07
- Pages
- 496
- Dimensions
- 228x181x26
- Weight
- 778
K. Rustan M. Leino, Kaleb Leino
MIT Press Ltd, 2023