Name: Semantik und Programmverifikation (in German)
SKU: 57903328
Price: 1381.00 TWD
Availability: InStock
Author: Walther Christoph

Select your country

Americas

Europe

Rest of the world

portada Semantik und Programmverifikation (in German)

Semantik und Programmverifikation (in German)

Type

Physical Book

Publisher

Vieweg+Teubner Verlag,

Author

Walther Christoph

Language

German

Pages

211

Format

Paperback

ISBN13

9783519003366

Edition No.

2001st

Semantik und Programmverifikation (in German)

Walther Christoph (Author) · Vieweg+Teubner Verlag, · Paperback

Cheaper New Book Imported to Taiwan

Delivery: 08 Oct - 16 Oct

NT$ 1,381

Faster New Book Imported to Taiwan

Delivery: 23 Sep - 01 Oct

NT$ 1,659

NT$ 1,381

Add to Wishlist

Synopsis "Semantik und Programmverifikation (in German)"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Semantik und Programmverifikation (in German) - Walther Christoph

Synopsis "Semantik und Programmverifikation (in German)"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery