Vertel uw vrienden over dit artikel:
Temporal Type Theory Schultz 1st ed. 2019 edition
Prijs
€ 116,49
Besteld in een afgelegen magazijn
Verwachte levering 7 - 15 mei
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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
| Media | Boeken Book |
| Vrijgegeven | 11 februari 2019 |
| ISBN13 | 9783030007034 |
| Uitgevers | Springer Nature Switzerland AG |
| Pagina's | 235 |
| Afmetingen | 241 × 195 × 18 mm · 535 g |
| Taal en grammatica | Duits |
Meer door Schultz
Alles tonen
Bekijk alles van Schultz ( bijv. Book , Paperback Book , CD , Sheet music en Hardcover Book )