Atjaunināt sīkdatņu piekrišanu

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions [Tied]

  • Bibliogr. dati: 2. Aufl. 2025. xix, 641 S. XIX, 641 p. 643 illus. in color. 235 mm
  • Formāts: Gebunden
  • Sērija : Texts & Monographs in Symbolic Computation
  • Izdevniecība: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING
  • ISBN-13: 9783031997044
  • Bibliogr. dati: 2. Aufl. 2025. xix, 641 S. XIX, 641 p. 643 illus. in color. 235 mm
  • Formāts: Gebunden
  • Sērija : Texts & Monographs in Symbolic Computation
  • Izdevniecība: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING
  • ISBN-13: 9783031997044