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 Biochemie: mit Pathobiochemie
    Preț: 46069 lei
  • 5% Kinder- und Jugendmedizin
    Preț: 46435 lei
  • 11% Meteorologie: Eine interdisziplinäre Einführung in die Physik der Atmosphäre
    Preț: 41626 lei
  • Mathematik für Chemiker: Eine Einfiihxung
    Preț: 22983 lei
  • Statistisch gesichert und trotzdem falsch?: Vom (Un-)Wesen statistischer Schlüsse
    Preț: 10442 lei
  • Medizinische Statistik mit R und Excel: Einführung in die RExcel- und R-Commander-Oberflächen zur statistischen Auswertung
    Preț: 18233 lei
  • Fallrepetitorium Familien- und Erbrecht
    Preț: 17176 lei
  • Zwangsvollstreckungsrecht im Assessorexamen und in der Praxis
    Preț: 22533 lei
  • 5% Basiswissen Chirurgie
    Preț: 31313 lei
  • 5% Atlas der Anatomie des Menschen: mit Muskeltabellen
    Preț: 38223 lei
  • Funktionentheorie 1
    Preț: 32242 lei
  • 5% Allgemeine und Spezielle Pathologie
    Preț: 54166 lei
  • 5% Poster Stoffwechsel
    Preț: 4524 lei
  • Gerthsen Physik
    Preț: 52503 lei
  • 5% Lunge und Atemwege
    Preț: 27075 lei
  • 5% Basiswissen Neurologie
    Preț: 34952 lei
  • Elektronische Schaltungen 1: Grundlagen, Analyse, Aufbau
    Preț: 36247 lei
  • 5% Urologie
    Preț: 47732 lei
  • Allgemeine Psychologie für Bachelor: Denken - Urteilen, Entscheiden, Problemlösen. Lesen, Hören, Lernen im Web.
    Preț: 24850 lei
  • 5% Basiswissen Innere Medizin
    Preț: 35076 lei
  • Kernphysik: Eine Einführung
    Preț: 42644 lei
  • Grundkurs Theoretische Physik 6: Statistische Physik
    Preț: 47356 lei
  • Analysis 1
    Preț: 31603 lei
  • Finanzwirtschaftliches Risikomanagement
    Preț: 25764 lei
  • Eine Einführung in die Statistik und ihre Anwendungen
    Preț: 21711 lei
  • Operations Research: Eine Einführung
    Preț: 23960 lei
  • Wirtschaftspsychologie für Bachelor
    Preț: 25890 lei
  • Vertragsgestaltung: Eine methodisch-didaktische Einführung
    Preț: 25181 lei
  • 5% Basiswissen Humangenetik
    Preț: 27979 lei
  • 5% Psychiatrie: Einschließlich Psychotherapie
    Preț: 37636 lei
  • 5% Anamnese und klinische Untersuchung
    Preț: 68582 lei
  • 5% Pathophysiologie
    Preț: 73050 lei
  • 5% Biologie für Mediziner
    Preț: 24317 lei
  • Systemanalyse: Einführung in die mathematische Modellierung natürlicher Systeme
    Preț: 35425 lei
  • Lernskript Psychologie: Die Grundlagenfächer kompakt
    Preț: 26802 lei
  • Finanzmanagement: Lehr- und Praxisbuch für Investition, Finanzierung und Finanzcontrolling
    Preț: 30557 lei
  • Physiologie kompakt
    Preț: 31790 lei
  • Theorien in der biologiedidaktischen Forschung: Ein Handbuch für Lehramtsstudenten und Doktoranden
    Preț: 23966 lei
  • Kosten- und Erlösrechnung: Eine controllingorientierte Einführung
    Preț: 21768 lei
  • Keynesianische Makroökonomik: Zins, Beschäftigung, Inflation und Wachstum
    Preț: 27238 lei
  • Motivation und Emotion: Allgemeine Psychologie für Bachelor
    Preț: 23735 lei
  • 5% Basiswissen Psychiatrie und Psychotherapie
    Preț: 30829 lei
  • 5% Pharmakotherapie: Klinische Pharmakologie
    Preț: 45731 lei
  • Biologische Psychologie
    Preț: 35304 lei
  • Arbeits-, Organisations- und Personalpsychologie für Bachelor
    Preț: 23777 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 58459 lei
  • Einführung in die Mathematik: Hintergründe der Schulmathematik
    Preț: 33294 lei
  • 11% Verteilungsfreie Methoden in der Biostatistik
    Preț: 51291 lei
  • Entscheidungstheorie: Klassische Konzepte und Fuzzy-Erweiterungen
    Preț: 22203 lei

Preț: 23652 lei

Preț vechi: 29565 lei
-20% Nou

Puncte Express: 355
Preț estimativ în valută:
4527€ • 4702$ • 3760£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 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.