KIRJAUDU
Solving Higher-Order Equations : From Logic to Programming
100,90 €
Birkhäuser
Sivumäärä: 188 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2012, 21.10.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Progress in Theoretical Computer Science
Sivumäärä: 188 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2012, 21.10.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Progress in Theoretical Computer Science
This monograph develops techniques for equational reasoning in higher-order logic. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus.
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.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9781461272786
Aihealue: