Semantik Und Programmverifikation

59,00 €
ja 26,99 € toimitus

Semantik Und Programmverifikation

Myyjä:

59,00 €

Varastossa
ja 26,99 € toimitus

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

Ostajan suojaus

Maksutavat:


Tuotetiedot

Tuotetiedot

Semantik Und Programmverifikation

Dieses Buch Behandelt Grundkonzepte Der Programmiersprachensemantik Anhand Einer Einfachen Funktionalen Programmiersprache. Darauf Aufbauend Werden Die Aufgaben Und Probleme Bei Nachweis Von Totaler Und Partieller Korrektheit Einfacher Funktionaler Programme Behandelt. Insbesondere Wird Der Bezug Zwischen Programmiersprachensemantik Und Formaler Logik Illustriert.
  • Merkki: Springer Nature B.V
  • Kategoria: Tietokoneet ja internet
  • Tekijä: Christoph Walther
  • Formaatti: Paperback
  • Julkaisuaika: 2001-11-29
  • Kustantaja / Levy-yhtiö: Springer Nature B.V
  • Kieli: English
  • Sivumäärä: 216
  • Fruugo ID: 557241016-1125510710
  • ISBN: 9783519003366
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ö