Cantitate/Preț
Produs
Total produse
Vezi coșul
Programmverifikation: Sequentielle, parallele und verteilte Programme de Krzysztof R. Apt

Programmverifikation: Sequentielle, parallele und verteilte Programme: Springer-Lehrbuch

Autor Krzysztof R. Apt, Ernst-Rüdiger Olderog
de Limba Germană Paperback – 21 mar 1994

Din seria Springer-Lehrbuch

  • Physik für Biologen: Die physikalischen Grundlagen der Biophysik und anderer Naturwissenschaften
    Preț: 38187 lei
  • 5% Basiswissen Innere Medizin
    Preț: 35076 lei
  • Grundkurs Theoretische Physik 6: Statistische Physik
    Preț: 42437 lei
  • 5% Basiswissen Neurologie
    Preț: 34952 lei
  • Grundlagen der Mikrobiologie
    Preț: 32829 lei
  • Medizinische Statistik mit R und Excel: Einführung in die RExcel- und R-Commander-Oberflächen zur statistischen Auswertung
    Preț: 18233 lei
  • 5% Basiswissen Biochemie: mit Pathobiochemie
    Preț: 46069 lei
  • 5% Chirurgie: mit integriertem Fallquiz - 40 Fälle nach neuer AO
    Preț: 66548 lei
  • Einführung in die Mathematik: Hintergründe der Schulmathematik
    Preț: 33294 lei
  • Finanzwirtschaftliches Risikomanagement
    Preț: 25764 lei
  • Analysis: Grundlagen, Differentiation, Integrationstheorie, Differentialgleichungen, Variationsmethoden
    Preț: 28771 lei
  • 11% Verteilungsfreie Methoden in der Biostatistik
    Preț: 51291 lei
  • 5% Lunge und Atemwege
    Preț: 27075 lei
  • 11% Elementare Teilchen: Von den Atomen über das Standard-Modell bis zum Higgs-Boson
    Preț: 41930 lei
  • 5% Arbeitsmedizin
    Preț: 28132 lei
  • 5% Kinder- und Jugendmedizin
    Preț: 46435 lei
  • Keynesianische Makroökonomik: Zins, Beschäftigung, Inflation und Wachstum
    Preț: 27238 lei
  • Grundkurs Theoretische Physik 5/1: Quantenmechanik - Grundlagen
    Preț: 35532 lei
  • Kosten- und Erlösrechnung: Eine controllingorientierte Einführung
    Preț: 21768 lei
  • 5% Anatomie
    Preț: 57867 lei
  • Zwangsvollstreckungsrecht im Assessorexamen und in der Praxis
    Preț: 22533 lei
  • 5% Basiswissen Pädiatrie
    Preț: 29816 lei
  • 5% Basiswissen Psychiatrie und Psychotherapie
    Preț: 30829 lei
  • Analysis 2
    Preț: 26894 lei
  • Funktionentheorie 1
    Preț: 32242 lei
  • Systemanalyse: Einführung in die mathematische Modellierung natürlicher Systeme
    Preț: 35425 lei
  • Elektronische Schaltungen 2: Operationsverstärker, Digitalschaltungen, Verbindungsleitungen
    Preț: 34879 lei
  • Physiologie kompakt
    Preț: 31790 lei
  • 5% Magen-Darm-Trakt
    Preț: 27743 lei
  • 5% Urologie
    Preț: 47732 lei
  • Finanzmanagement: Lehr- und Praxisbuch für Investition, Finanzierung und Finanzcontrolling
    Preț: 30557 lei
  • Organische Chemie: Chemie-Basiswissen II
    Preț: 35838 lei
  • Funktionentheorie 2
    Preț: 18023 lei
  • 5% Pathophysiologie
    Preț: 73050 lei
  • 5% Mit Vollgas zum Doktor: Promotion für Mediziner
    Preț: 18458 lei
  • Algebra: Anwendungsorientierte Mathematik
    Preț: 34734 lei
  • Anthropologie: Einführendes Lehrbuch
    Preț: 40446 lei
  • Elektronische Schaltungen 1: Grundlagen, Analyse, Aufbau
    Preț: 36247 lei
  • Theorien in der biologiedidaktischen Forschung: Ein Handbuch für Lehramtsstudenten und Doktoranden
    Preț: 23966 lei
  • 11% Vergleichende Tierphysiologie
    Preț: 64467 lei
  • 5% Hals-Nasen-Ohren-Heilkunde
    Preț: 33832 lei
  • Statistisch gesichert und trotzdem falsch?: Vom (Un-)Wesen statistischer Schlüsse
    Preț: 10661 lei
  • Kernphysik: Eine Einführung
    Preț: 42644 lei
  • 5% Basiswissen Chirurgie
    Preț: 31313 lei
  • 5% Psychiatrie: Einschließlich Psychotherapie
    Preț: 37636 lei
  • 5% Poster Stoffwechsel
    Preț: 4524 lei
  • 5% Pharmakotherapie: Klinische Pharmakologie
    Preț: 45731 lei
  • Analysis 1
    Preț: 31603 lei
  • Operations Research: Eine Einführung
    Preț: 23960 lei
  • Entscheidungstheorie: Klassische Konzepte und Fuzzy-Erweiterungen
    Preț: 22203 lei

Preț: 24144 lei

Preț vechi: 30180 lei
-20% Nou

Puncte Express: 362
Preț estimativ în valută:
4621€ • 4806$ • 3867£

Carte tipărită la comandă

Livrare economică 14-28 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540574798
ISBN-10: 3540574794
Pagini: 272
Ilustrații: XII, 258 S.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:1994
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- 1.2 Programmkorrektheit.- 1.3 Struktur dieses Buches.- 2 Vorbereitungen.- 2.1 Syntax.- 2.2 Getypte Ausdrücke.- 2.3 Semantik von Ausdrücken.- 2.4 Formale Beweissysteme.- 2.5 Logische Formeln.- 2.6 Semantik von logischen Formeln.- 2.7 Substitution.- 2.8 Substitutions-Lemma.- 2.9 Übungsaufgaben.- 2.10 Bibliographische Anmerkungen.- 3 Deterministische Programme.- 3.1 Syntax.- 3.2 Semantik.- 3.3 Verifikation.- 3.4 Beweisskizzen.- 3.5 Vollständigkeit.- 3.6 Zusätzliche Axiome und Regeln.- 3.7 Systematische Entwicklung korrekter Programme.- 3.8 Fallstudie: Minimale Abschnittssumme.- 3.9 Übungsaufgaben.- 3.10 Bibliographische Anmerkungen.- 4 Disjunkte parallele Programme.- 4.1 Syntax.- 4.2 Semantik.- 4.3 Verifikation.- 4.4 Fallstudie: Finde Positives Element.- 4.5 Übungsaufgaben.- 4.6 Bibliographische Anmerkungen.- 5 Parallele Programme mit gemeinsamen Variablen.- 5.1 Zugriff auf gemeinsame Variablen.- 5.2 Syntax.- 5.3 Semantik.- 5.4 Verifikation: Partielle Korrektheit.- 5.5 Verifikation: Totale Korrektheit.- 5.6 Fallstudie: Finde positives Element schneller.- 5.7 Verändern von Interferenzpunkten.- 5.8 Fallstudie: Parallele Nullstellensuche.- 5.9 Übungsaufgaben.- 5.10 Bibliographische Anmerkungen.- 6 Parallele Programme mit Synchronisation.- 6.1 Syntax.- 6.2 Semantik.- 6.3 Verifikation.- 6.4 Fallstudie: Erzeuger/Verbraucher-Problem.- 6.5 Fallstudie: Wechselweiser Ausschluß.- 6.6 Verändern von Interferenzpunkten.- 6.7 Fallstudie: Synchronisierte Nullstellensuche.- 6.8 Übungsaufgaben.- 6.9 Bibliographische Anmerkungen.- 7 Nichtdeterministische Programme.- 7.1 Syntax.- 7.2 Semantik.- 7.3 Vorteile nichtdeterministischer Programme.- 7.4 Verifikation.- 7.5 Fallstudie: Wohlfahrtsbetrüger.- 7.6 Transformationparalleler Programme.- 7.7 Übungsaufgaben.- 7.8 Bibliographische Anmerkungen.- 8 Verteilte Programme.- 8.1 Syntax.- 8.2 Semantik.- 8.3 Transformation verteilter Programme.- 8.4 Verifikation.- 8.5 Fallstudie: Übertragungsproblem.- 8.6 Übungsaufgaben.- 8.7 Bibliographische Anmerkungen.- A. Semantik.- B. Beweisregeln.- C. Beweissysteme.- D. Beweisskizzen.- Autorenverzeichnis.- Stichwortverzeichnis.- Symbolverzeichnis.