Programmverifikation by Krzysztof R Apt
Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic Programs Distributed Programs Fairness-
Theorie der neuronalen Netze
-
Digitales Wettbewerbsrecht
-
Basiswissen Psychiatrie Und Psychotherapie
-
Genetik
-
Zwangsvollstreckungsrecht
-
Arbeitsrecht Band 2
-
Mikroökonomik
-
Einführung in die Technische Mechanik
-
Maß- und Wahrscheinlichkeitstheorie
-
Statistik: Klassisch oder Bayes
-
Europäisches Arbeitsrecht
-
Arbeitsbuch Mathematik
-
Tragwerke 1
-
Statik der Stabtragwerke
-
Molekülphysik und Quantenchemie
-
Spezielle Geobotanik
-
Chemische OEkotoxikologie
-
Mathematik für Wirtschaftswissenschaftler
-
Internationales Strafrecht
-
Algorithmische Mathematik
-
Funktionentheorie erkunden mit Maple
-
Grundzuge der analytischen Mikrooekonomie
-
Numerische Simulation in der Molekuldynamik
-
Übungen zur Versicherungsökonomik
-
Theoretische Physik für Studierende des Lehramts 1
-
Vergleichende Histologie
-
Informationsübertragung
-
Visuelle Kryptographie
-
Einfuhrung in die Analysis dynamischer Systeme
-
Einführung in die Mathematische Optimierung
-
Induktive Statistik
-
Funktionentheorie 2
-
Computer- und Internetstrafrecht
-
Bereicherungsrecht
-
Finanzmanagement
-
Wirtschaftsstrafrecht
-
Arbeitsrecht Band 1
-
Europäisches Strafrecht
-
Endlich gelöst! Aufgaben zur Mathematik für Ingenieure und Naturwissenschaftler
-
Mathematik kompakt
-
Teilchen und Kerne
-
Mathematik fur Physiker 1
| SKU | Unavailable |
| ISBN 13 | 9783540574798 |
| ISBN 10 | 3540574794 |
| Title | Programmverifikation |
| Author | Krzysztof R Apt |
| Series | Springer-Lehrbuch |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1994-03-21 |
| Number of pages | 258 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |