Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
- Mehr
Ihr Link zur Ex Libris-Reader-App
Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
Theory of Program Structures
- Kartonierter Einband
- 370 Seiten
Program schemes basic definitions and concepts.- Program schemes basic properties.- Structured Programs.- Correctness and pro...
Weiterlesen
Beschreibung
Klappentext
Program schemes basic definitions and concepts.- Program schemes basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Inhalt
Program schemes basic definitions and concepts.- Program schemes basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.
Produktinformationen
| Titel: | Theory of Program Structures |
| Untertitel: | Schemes, Semantics, Verification |
| Autor: | |
| EAN: | 9783540074151 |
| ISBN: | 978-3-540-07415-1 |
| Format: | Kartonierter Einband |
| Herausgeber: | Springer, Berlin |
| Genre: | Informatik |
| Anzahl Seiten: | 370 |
| Gewicht: | 544g |
| Größe: | H235mm x B235mm |
| Jahr: | 1985 |
| Untertitel: | Englisch |
| Auflage: | 1. Aufl. |
Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"
Teil 15
Teil 16
Teil 19
Teil 24
Teil 27
Teil 29
Teil 36
Sie sind hier.
Teil 44
Teil 60
Ihre erste Adresse für Bücher, Filme, Musik, Spiele und Games!