Program Proofs (Bog, Paperback / softback, Engelsk) af K. Rustan M. Leino

Program Proofs

(Bog, Paperback / softback, Engelsk)
Forfattere: K. Rustan M. Leino, Kaleb Leino

Forlag: MIT Press Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Læsernes anmeldelser (0)

Alle detaljer

Forlag MIT Press Ltd
Forfattere K. Rustan M. Leino, Kaleb Leino
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 07-03-2023
Første udgivelsesår 2023
Illustrationer 20 line drawings, 30 figures
Originalsprog United States
Sideantal 496
Indbinding Paperback / softback
Forlag MIT Press Ltd
Sideoplysninger 496 pages, 20 line drawings, 30 figures
Mål 228 x 181 x 26
ISBN-13 / EAN-13 9780262546232