Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Theory of Program Structures

  • Kartonierter Einband
  • 370 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Program schemes basic definitions and concepts.- Program schemes basic properties.- Structured Programs.- Correctness and pro... Weiterlesen
20%
34.90 CHF 27.90
Sie sparen CHF 7.00
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

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"