Solving Higher-order Equations From Logic To Programming

169,00 €
ja 26,99 € toimitus

Solving Higher-order Equations From Logic To Programming

Myyjä:

169,00 €

Varastossa
ja 26,99 € toimitus

14 päivän palautuskäytäntö

Ostajan suojaus

Maksutavat:


Tuotetiedot

Tuotetiedot

Solving Higher-order Equations From Logic To Programming

This Monograph Develops Techniques For Equational Reasoning In Higher-order Logic. Due To Its Expressiveness, Higher-order Logic Is For Specification And Verification Of Hardware, Software, And Mathematics. In These Applica Tions, Higher-order Logic Provides The Necessary Level Of Abstraction For Con Cise And Natural Formulations.
  • Merkki: Springer Nature B.V
  • Kategoria: Tietokoneet ja internet
  • Tekijä: Christian Prehofer
  • Formaatti: Hardcover
  • Julkaisuaika: 1997-12-18
  • Kustantaja / Levy-yhtiö: Springer Nature B.V
  • Kieli: English
  • Sivumäärä: 204
  • Fruugo ID: 556937245-1125177171
  • ISBN: 9780817640323
Lupaus

Myyjän takuu

Sisältää 2 vuoden lakisääteisen takuun

EU:n kuluttajan oikeuksiisi kuuluu vähintään 2 vuoden ilmainen lakisääteinen takuu

Lataa vaatimustenmukaisuuden lakisääteinen takuu
Toimitus

Toimitus

Lähetetään 24 tunnin kuluessa

  • STANDARD: 32,49 € - Toimitus välillä ma 16 marraskuuta 2026–to 19 marraskuuta 2026

Lähetyspaikka: Iso-Britannia.

Palautukset

Palautukset ja peruutukset

Palautukset

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen.

Näytä koko palautuskäytäntö

Peruutukset

Sinulla on oikeus peruuttaa ostoksesi 14 päivän kuluessa tilauksen vastaanottamisesta ilmoittamatta syytä. Voit käyttää oikeuttasi helposti käyttämällä jokaisen sivun alatunnisteessa olevaa "Peruuta tilaukseni" -linkkiä tai Fruugo-tilisi "Tilaukset"-kohdassa. Kun käytät peruutusoikeuttasi, lähetämme sinulle sähköpostivahvistuksen. Jos jälleenmyyjä on jo lähettänyt tilauksesi, annamme sinulle tarvittavat palautusohjeet varmistaaksemme, että hyvityksesi käsitellään nopeasti.

Näytä täydellinen peruutuskäytäntö