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

  • 5% Magen-Darm-Trakt
    Preț: 32924 lei
  • 5% Basiswissen Biochemie: mit Pathobiochemie
    Preț: 52761 lei
  • Hochfrequenztechnik: Ein systemtheoretischer Zugang
    Preț: 36074 lei
  • Botanisches Grundpraktikum
    Preț: 34672 lei
  • 15% Grundlagen der Elektrotechnik 2: Einschwingvorgänge, Nichtlineare Netzwerke, Theoretische Erweiterungen
    Preț: 44282 lei
  • 5% Allgemeinmedizin
    Preț: 47898 lei
  • 11% Elementare Teilchen: Von den Atomen über das Standard-Modell bis zum Higgs-Boson
    Preț: 45373 lei
  • Medizinische Statistik mit R und Excel: Einführung in die RExcel- und R-Commander-Oberflächen zur statistischen Auswertung
    Preț: 19735 lei
  • 11% Kernphysik: Eine Einführung
    Preț: 43798 lei
  • Grundlagen der Dienstleistungsproduktion
    Preț: 27438 lei
  • 5% Urologie
    Preț: 51655 lei
  • Funktionentheorie 1
    Preț: 37944 lei
  • Vorkurs Mathematik: Theorie und Aufgaben mit vollständig durchgerechneten Lösungen
    Preț: 32164 lei
  • Funktionentheorie 2
    Preț: 21282 lei
  • Lernskript Psychologie
    Preț: 33636 lei
  • 5% Arbeitsmedizin
    Preț: 33342 lei
  • Einführung in die Wirtschaftsmathematik
    Preț: 27476 lei
  • Elektrotechnik 2: Grundlagenlehrbuch Netzwerke
    Preț: 35981 lei
  • Medizinische Statistik
    Preț: 31461 lei
  • 5% Basiswissen Chirurgie
    Preț: 36788 lei
  • Grundkurs Theoretische Physik 6: Statistische Physik
    Preț: 45922 lei
  • 5% Anatomie
    Preț: 65539 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 68711 lei
  • Analysis 1
    Preț: 37252 lei
  • Grundlagen der Mikrobiologie
    Preț: 35521 lei
  • Statistisch gesichert und trotzdem falsch?: Vom (Un-)Wesen statistischer Schlüsse
    Preț: 10241 lei
  • Operations Research: Eine Einführung
    Preț: 25934 lei
  • 5% Psychiatrie: Einschließlich Psychotherapie
    Preț: 43630 lei
  • 5% Innere Medizin...in 5 Tagen
    Preț: 37985 lei
  • 5% Chemie für Mediziner
    Preț: 37424 lei
  • 5% Lunge und Atemwege
    Preț: 32198 lei
  • Analysis: Grundlagen, Differentiation, Integrationstheorie, Differentialgleichungen, Variationsmethoden
    Preț: 27642 lei
  • Physik für Biologen: Die physikalischen Grundlagen der Biophysik und anderer Naturwissenschaften
    Preț: 41321 lei
  • Einführung in das Informationsmanagement
    Preț: 36805 lei
  • 5% Basiswissen Neurologie
    Preț: 40734 lei
  • Materialwissenschaft und Werkstofftechnik: Physikalische Grundlagen
    Preț: 49389 lei
  • Theorien in der biologiedidaktischen Forschung: Ein Handbuch für Lehramtsstudenten und Doktoranden
    Preț: 25942 lei
  • Digitale Systeme: Grundlagen
    Preț: 46591 lei
  • Teilchenphysik: Eine Einführung
    Preț: 31681 lei
  • Werkzeugmaschinen: Grundlagen
    Preț: 30942 lei
  • Anthropologie: Einführendes Lehrbuch
    Preț: 46823 lei
  • Lebensmittel-Warenkunde für Einsteiger
    Preț: 41324 lei
  • 5% Gynäkologie und Geburtshilfe
    Preț: 42929 lei
  • Denken - Urteilen, Entscheiden und Problemlösen
    Preț: 28084 lei
  • 5% Anästhesie, Intensivmedizin, Notfallmedizin, Schmerztherapie
    Preț: 48761 lei
  • 5% Neurologie
    Preț: 82136 lei
  • 5% Chirurgie: mit integriertem Fallquiz - 40 Fälle nach neuer AO
    Preț: 72020 lei
  • Theorie der endlichen Gruppen: Eine Einführung
    Preț: 34522 lei
  • Analysis 2
    Preț: 33738 lei
  • Quantenmechanik (QM I): Eine Einführung
    Preț: 39543 lei

Preț: 23197 lei

Preț vechi: 28997 lei
-20% Nou

Puncte Express: 348
Preț estimativ în valută:
4105€ • 4787$ • 3604£

Carte tipărită la comandă

Livrare economică 15-29 ianuarie 26

 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.