• Book cover of: Program Proofs. By: K. Rustan M. Leino

Program Proofs

K. Rustan M. Leino

€82,24
€82,24 €85,25 Izpārdošana

Mums ir noliktavā

Aptuvenā piegāde
pirmdien, 28. septembrī
* Visi pasūtījumi tiek piegādāti 5–10 darba dienu laikā.
Ja rodas jautājumi, rakstiet info@bookshop.lt
Kalba Anglų k.
Leidėjas MIT Press Ltd
Leidimo metai 2023 m.
Puslapių skč. 496 psl.
Viršelis Minkštas viršelis
ISBN 9780262546232

Program Proofs

Program Proofs by K. Rustan M. Leino, Kaleb Leino.

Published by MIT Press, (2023), Paperback, 496 pages.

Book cover of: Program Proofs. By: K. Rustan M. Leino

Program Proofs

€82,24
€82,24 €85,25