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
137,30 €
Springer-Verlag New York Inc.
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
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 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 4-5 viikossa
Näytä kaikki tuotetiedot
ISBN:
9780387951973
Aihealue: