Print this page
Semantik Und Programmverifikation

Semantik Und Programmverifikation - Teubner Texte Zur Informatik

2001st edition

Paperback (29 Nov 2001) | German

  • $40.83
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

Publisher's Synopsis

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. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Book information

ISBN: 9783519003366
Publisher: Vieweg+Teubner Verlag
Imprint: Vieweg+Teubner Verlag
Pub date:
Edition: 2001st edition
Language: German
Number of pages: 211
Weight: 375g
Height: 244mm
Width: 170mm
Spine width: 12mm

We recommend

$1.83off

Engineering

Natasha McCarthy

Paperback
Published 01 Aug 2009

Save $1.83

  • RRP $12.64
  • $10.81
Add to basket

$2.03off

In Pursuit of Zeta-3

Paul J. Nahin

Hardback
Published 23 Nov 2021

Save $2.03

  • RRP $27.83
  • $25.80
Add to basket

$1.02off

Cool Engineering

Jenny Jacoby (author...

Hardback
Published 04 Mar 2021

Save $1.02

  • RRP $12.64
  • $11.62
Add to basket

$12.90off

An Introduction to System Safety Engineering

Nancy Leveson

Hardback
Published 08 Nov 2023

Save $12.90

  • RRP $86.01
  • $73.11
Add to basket

$14.72off

Pragmatic Engineering and Lifestyle

David S-K. Ting (edi...

Hardback
Published 05 Jun 2023

Save $14.72

  • RRP $101.19
  • $86.47
Add to basket

$6.27off

Discovering Engineering Design in the 21st Century

Bradley A. Striebig

Paperback
Published 11 Jun 2023

Save $6.27

  • RRP $75.88
  • $69.61
Add to basket
Foundations of Engineering ISE

Mark Holtzapple, W. ...

Paperback
Published 21 Mar 2022

  • $28.97
Add to basket

$10.23off

Big Data Analytics in Smart Manufacturing

P. Suresh (editor), ...

Hardback
Published 14 Dec 2022

Save $10.23

  • RRP $113.82
  • $103.59
Add to basket

$2.97off

Behind the Wireless : A History of Early Women at the BBC

Murphy, Kate

Paperback
Published 09 May 2016

Save $2.97

  • RRP $31.61
  • $28.64
Add to basket