Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior
120,90 €
Birkhäuser
Sivumäärä: 235 sivua
Asu: Kovakantinen kirja
Painos: 2019 ed.
Julkaisuvuosi: 2019, 11.02.2019 (lisätietoa)
Kieli: Englanti
Tuotesarja: Progress in Computer Science and Applied Logic 29
Sivumäärä: 235 sivua
Asu: Kovakantinen kirja
Painos: 2019 ed.
Julkaisuvuosi: 2019, 11.02.2019 (lisätietoa)
Kieli: Englanti
Tuotesarja: Progress in Computer Science and Applied Logic 29
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Näytä kaikki tuotetiedot
ISBN:
9783030007034
Aihealue: