Povedzte o tejto položke priateľom:
Program Proofs K. Rustan M. Leino
Program Proofs
K. Rustan M. Leino
496 pages, 20 line drawings, 30 figures
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 07. marca 2023 |
| ISBN13 | 9780262546232 |
| Vydavatelia | MIT Press Ltd |
| Strany | 496 |
| Rozmery | 181 × 228 × 26 mm · 778 g |