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.
General
| Imprint: |
Vieweg+teubner Verlag
|
| Country of origin: |
Germany |
| Series: |
Teubner Texte zur Informatik, 34 |
| Release date: |
November 2001 |
| First published: |
2001 |
| Authors: |
Christoph Walther
|
| Dimensions: |
244 x 170 x 12mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
211 |
| Edition: |
2001 ed. |
| ISBN-13: |
978-3-519-00336-6 |
| Languages: |
German
|
| Subtitles: |
German
|
| Categories: |
Books >
Professional & Technical >
Technology: general issues >
Engineering: general
|
| LSN: |
3-519-00336-8 |
| Barcode: |
9783519003366 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
