Semantik Und Programmverifikation

NOK 524,00
+ NOK 225,49 i frakt

Semantik Und Programmverifikation

Solgt av:

NOK 524,00

På lager
+ NOK 225,49 i frakt

14-dagers returpolicy

Betalingsmåter:


Produktdetaljer

Produktdetaljer

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.
  • Fruugo-ID: 557241016-1125510710
  • ISBN: 9783519003366
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 225,49 - Levering mellom kl tir. 24 november 2026–tor. 26 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur