- Shop Startseite
- Lesewelt
- Bücher
  - Bücher Übersicht
  - Alle Bücher
  - Neuerscheinungen
  - Spiegel Bestseller
  - Romane & Erzählungen
  - Krimis & Thriller
  - Kinderbücher
  - Taschenbücher
  - Jugendbücher
  - Schulbücher & Lernhilfen
    - Schulbücher & Lernhilfen Übersicht
    - Schulfächer
      - Schulfächer Übersicht
      - Deutsch
      - Mathematik
      - Englisch
      - Naturwissenschaften
        
        Naturwissenschaften Übersicht
        
        Biologie
        
        Chemie
        
        Physik
      - Geschichte
      - Wirtschaft & Erdkunde
      - Religion & Ethik
      - Kunst, Musik & Sport
      - Weitere Fremdsprachen
        
        Weitere Fremdsprachen Übersicht
        
        Französisch
        
        Spanisch
        
        Latein
        
        Italienisch
    - Lernhilfen nach Bundesländern
    - Lektüren für die Schule
    - Ratgeber zum Lernen
    - Wörterbücher
    - Schülerkalender
  - Sachbücher & Ratgeber
    - Sachbücher & Ratgeber Übersicht
    - Alle Sachbücher & Ratgeber
  - Bewusst leben
  - Biografien & Erinnerungen
    - Biografien & Erinnerungen Übersicht
    - Hellmuth Karasek
  - Business & Karriere
  - Comics & Humor
  - Computer & Internet
  - Diät & Ernährung
  - Erotische Literatur
  - Erzählungen
  - Fachbücher
    - Fachbücher Übersicht
    - Jura
  - Fantasy
  - Film, Kunst & Kultur
  - Gartenbücher
  - Geschenkbücher
  - Geschichte
  - Gesundheit & Medizin
  - Historische Romane
  - Hobby & Do it yourself
  - Internationale Bücher
  - Kochen & Backen
    - Kochen & Backen Übersicht
    - Alle Koch- & Backbücher
  - Lyrik
  - Mangas
  - Natur & Tiere
  - Philosophie
  - Politik & Zeitgeschichte
  - Psychologie & Lebensberatung
  - Recht & Jura
  - Reise
  - Religion
  - Schwangerschaft & Erziehung
  - Science-Fiction
    - Science-Fiction Übersicht
    - Star Wars (TM) Bücher
  - Sport & Fitness
  - Sprachen lernen
  - Wohnen & Dekorieren
- eBooks
- tolino
- Hörbücher
  - Hörbücher Übersicht
  - Hörbuch Downloads
  - Alle Hörbücher
  - Hörbücher unter 10 EUR
  - Hörspiele
  - Krimis & Thriller
  - Kinderhörbücher
  - Biografien
  - Historienromane
  - Kabarett & Comedy
  - Märchen & Sagen
  - Naturwissenschaften
  - Rat & Lebenshilfe
  - Reiseführer
  - Sprachen & Lernen
    - Sprachen & Lernen Übersicht
    - Hueber Sprachen
  - Erotik
    - Erotik Übersicht
    - Erotikspiele
  - Science-Fiction
  - Fantasy
  - Entspannung
  - Hörbücher auf Englisch
- Kalender
- Filme
  - Filme Übersicht
  - Alle Filme
  - Blu-ray
  - DVD
  - Film Angebote
  - Actionfilm
  - TV Serien
  - Krimi, Thriller & Horror
  - Science-Fiction & Fantasy
  - Komödie
  - Kinderfilme
    - Kinderfilme Übersicht
    - Minions
  - Liebe
  - Dokus
  - Westernfilm
  - Musikfilme
  - Hobby & Reise
  - Erotikfilme
  - Esoterik
  - Indisches Kino
- Musik
- Spielwaren
  - Spielwaren Übersicht
  - Geschicklichkeit
- Gutschein
- Noten
- Software
  - Software Übersicht
  - Software
  - Programme
  - Kinder
  - Lernen
  - Rat & Lebenshilfe
  - Sachthemen
- Kundenservice
  - Kundenservice Übersicht
  - Überblick
  - Bestellung
  - Versandkosten
  - Bezahlung
  - Lieferung & Lieferzeiten
  - Retouren & Umtausch
  - Entsorgung
  - eBooks & eReading
    - eBooks & eReading Übersicht
    - tolino Family Sharing

Semantik und Programmverifikation - Christoph Walther

Christoph Walther

Semantik und Programmverifikation

Auflage 2001. 211 S. Dateigröße in MByte: 18.

pdf eBook , 211 Seiten

ISBN 3322867684

EAN 9783322867681

Veröffentlicht März 2013

Verlag/Hersteller Vieweg+Teubner Verlag

Auch erhältlich als:

€ 33,26 inkl. MwSt.

Auf die Wunschliste

Weitere interessante Themen

Beschreibung

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.

Portrait

Prof. Dr. Christoph Walther, TU Darmstadt

Technik

Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:

• tolino Reader

Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

• Sony Reader & andere eBook Reader

Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte.

• Tablets & Smartphones

Möchten Sie dieses eBook auf Ihrem Smartphone oder Tablet lesen, finden Sie hier unsere kostenlose Lese-App für iPhone/iPad und Android Smartphone/Tablets.

• PC & Mac

Lesen Sie das eBook direkt nach dem Herunterladen mit einer kostenlosen Lesesoftware, beispielsweise Adobe Digital Editions, Sony READER FOR PC/Mac oder direkt über Ihre eBook-Bibliothek in Ihrem Konto unter „Meine eBooks“ - „Sofort online lesen über Meine Bibliothek“.

Bitte beachten Sie, dass die Kindle-Geräte das Format nicht unterstützen und dieses eBook somit nicht auf Kindle-Geräten lesbar ist.