Springer Nature
Semantik Und Programmverifikation-image

Semantik Und Programmverifikation

Leggi la descrizione completa
Miglior prezzo disponibile
37,45€
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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 Programmiersprachensematik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 37,45€

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Kultur Und Semantik 49,29€ Semantik Und MoralitäT 64,08€ Formale Semantik Und NatüRliche Sprache 44,36€ Nachhaltige Entwicklung Durch Semantik, Governance Und Management 39,43€ Das Wahrheitsproblem Und Die Idee Der Semantik 64,08€ Wissensverarbeitung Und Die Semantik Der NatüRlichen Sprache 44,36€ Frm: Ein Frame-RepräSentationsmodell Und Seine Formale Semantik 54,22€ Programmverifikation 29,53€