Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
134,00 €
Springer
Sivumäärä: 409 sivua
Asu: Kovakantinen kirja
Painos: 2001 ed.
Julkaisuvuosi: 2001, 26.06.2001 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
Sivumäärä: 409 sivua
Asu: Kovakantinen kirja
Painos: 2001 ed.
Julkaisuvuosi: 2001, 26.06.2001 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
Foreword by: J.T. Schwartz
Foreword by: J.T. Schwartz
TilaustuoteTilaustuote
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 3-4 viikossa
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 3-4 viikossa
Näytä kaikki tuotetiedot
ISBN:
9780387951973
Aihealue: