Pastāsti draugiem par šo preci:
Temporal Type Theory Schultz 1st ed. 2019 edition
Cena
€ 122,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 3. - 11. jūn.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Temporal Type Theory
Schultz
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu
| Mediji | Grāmatas Book |
| Izlaists | 2019. gada 11. februāris |
| ISBN13 | 9783030007034 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 235 |
| Izmēri | 241 × 195 × 18 mm · 535 g |
| Valoda | Vācu |
Vairāk no Schultz
Rādīt visu
Skatīt visus Schultz ( piem., Book , Paperback Book , Sheet music , CD un Hardcover Book )