Solving Higher-order Equations From Logic To Programming

189,00 €
+ 27,99 € Doručenie

Solving Higher-order Equations From Logic To Programming

Predáva:

189,00 €

Na sklade
+ 27,99 € Doručenie

Politika vrátenia 14 dní

Ochrana kupujúceho

Spôsoby platby:


Podrobnosti o produkte

Podrobnosti o produkte

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.
  • Značka: Springer Nature B.V
  • Kategória: Počítače a internet
  • Počet strán: 204
  • Formátovať: Hardcover
  • Jazyk: English
  • Dátum vydania: 1997-12-18
  • Autor: Christian Prehofer
  • Vydavateľ / štítok: Springer Nature B.V
  • Fruugo ID: 556937245-1125177171
  • ISBN: 9780817640323
Sľub

Záruka predávajúceho

Vrátane 2-ročnej právnej záruky

Vaše spotrebiteľské práva v EÚ zahŕňajú bezplatnú minimálne 2-ročnú právnu záruku

Stiahnuť právnu záruku zhody
Doručenie

Doručenie

Odoslané do 24 hodín

  • STANDARD: 34,14 € - Doručenie medzi po 16 novembra 2026–št 19 novembra 2026

Doručenie od Spojené kráľovstvo.

Vrátenie tovaru

Vrátenie a zrušenie objednávky

Vrátenie tovaru

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu.

Pozrite si všetky pravidlá vrátenia

Zrušenie objednávky

Máte právo odstúpiť od nákupu do 14 dní od doručenia objednávky bez udania dôvodu. Na jednoduché uplatnenie svojho práva môžete použiť odkaz „Zrušiť moju objednávku“ v päte každej stránky alebo vo svojom účte Fruugo v časti „Objednávky“. Po uplatnení svojho práva na odstúpenie od objednávky vám zašleme e-mail s potvrdením. Ak vašu objednávku už predajca odoslal, poskytneme vám potrebné pokyny na vrátenie, aby sme zabezpečili rýchle spracovanie vrátenia peňazí.

Zobraziť úplné podmienky zrušenia objednávky