Bestel Program Proofs van K. Rustan M. Leino.
Productspecificaties
- Auteur: K. Rustan M. Leino
- Uitgever: MIT Press Ltd
- Imprint: MIT Press
- Verschijningsdatum: 2023-03-07
- Aantal pagina's: 496
- ISBN: 9780262546232
- Thema: Computer programming / software engineering
- BISAC: COMPUTERS / Programming / General