Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Grāmatas - Springer International Publishing AG - 9783031997044 - 2025. gada 30. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation Second Edition 2026 edition


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Wolfgang Schreiner izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2025. gada 30. augusts
ISBN13 9783031997044
Izdevēji Springer International Publishing AG
Lapas 641
Izmēri 150 × 220 × 20 mm   ·   1,10 kg
Valoda Vācu  

Vairāk no tā paša izdevēja