Cantitate/Preț
Produs
Total produse
Vezi coșul
Programmverifikation de Krzysztof R. Apt

Programmverifikation: Springer-Lehrbuch

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

Din seria Springer-Lehrbuch

  • Sportpsychologie
    Preț: 51361 lei
  • 5% Innere Medizin...in 5 Tagen
    Preț: 39252 lei
  • 5% Poster Stoffwechsel
    Preț: 5570 lei
  • Psychologische Diagnostik
    Preț: 58404 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 69320 lei
  • Europäisches Arbeitsrecht: Mit zahlreichen Beispielsfällen aus der Rechtsprechung des EuGH
    Preț: 27549 lei
  • Lehrbuch der Technischen Mechanik - Band 1: Starrkörperstatik
    Preț: 43539 lei
  • Atlas der Anatomie des Menschen
    Preț: 47887 lei
  • 11% Elementare Teilchen
    Preț: 45399 lei
  • 5% Basiswissen Biochemie
    Preț: 54529 lei
  • Elektronik für Ingenieure und Naturwissenschaftler
    Preț: 54455 lei
  • Denken - Urteilen, Entscheiden und Problemlösen
    Preț: 29032 lei
  • Das gesamte examensrelevante Zivilrecht
    Preț: 62819 lei
  • 5% Löffler/Petrides Biochemie und Pathobiochemie
    Preț: 80937 lei
  • 5% Medizinische Mikrobiologie und Infektiologie
    Preț: 54366 lei
  • Wirtschaftspsychologie für Bachelor
    Preț: 29566 lei
  • Experimentalphysik 2
    Preț: 38932 lei
  • 5% Psychiatrie
    Preț: 45094 lei
  • Lehrbuch der Sozialpolitik
    Preț: 32919 lei
  • 5% Arbeitsmedizin
    Preț: 33360 lei
  • 5% Lunge und Atemwege
    Preț: 33270 lei
  • 5% Chirurgie
    Preț: 72052 lei
  • Lernskript Psychologie
    Preț: 34753 lei
  • 5% Basiswissen Psychiatrie und Psychotherapie
    Preț: 37158 lei
  • Allgemeine Chemie
    Preț: 45940 lei
  • 5% Klinische Psychologie und Psychotherapie für Bachelor
    Preț: 22765 lei
  • 11% Anatomie
    Preț: 61432 lei
  • Sportpsychologie
    Preț: 24457 lei
  • 5% Klinische Psychologie & Psychotherapie
    Preț: 56577 lei
  • Mineralogie
    Preț: 51487 lei
  • 5% Basiswissen Allgemeinmedizin
    Preț: 41501 lei
  • 5% Orthopädie Unfallchirurgie
    Preț: 39721 lei
  • 15% Tier- und Humanphysiologie
    Preț: 51431 lei
  • 5% Physiologie des Menschen
    Preț: 65749 lei
  • 5% Basiswissen Humangenetik
    Preț: 30038 lei
  • 5% Biologie für Mediziner
    Preț: 28829 lei
  • Grundkurs Theoretische Physik 2
    Preț: 27528 lei
  • 13% Leistungselektronische Schaltungen
    Preț: 125904 lei
  • 5% Neurologie
    Preț: 84888 lei
  • 5% Allgemeine und Spezielle Pathologie
    Preț: 61170 lei
  • 5% Urologie
    Preț: 51672 lei
  • Forschungsmethoden und Evaluation in den Sozial- und Humanwissenschaften
    Preț: 60703 lei
  • Grundkurs Theoretische Physik 3
    Preț: 50997 lei
  • 5% Magen-Darm-Trakt
    Preț: 34020 lei
  • Sozialpsychologie
    Preț: 56119 lei
  • 5% PathoMaps
    Preț: 25840 lei
  • Botanisches Grundpraktikum
    Preț: 35827 lei
  • Grundkurs Theoretische Physik 6
    Preț: 47406 lei
  • 5% Basiswissen Chirurgie
    Preț: 37524 lei
  • Grundlagen der Mikrobiologie
    Preț: 36704 lei

Preț: 23397 lei

Preț vechi: 29245 lei
-20%

Puncte Express: 351

Carte tipărită la comandă

Livrare economică 08-22 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540574798
ISBN-10: 3540574794
Pagini: 272
Ilustrații: XII, 258 S.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:1994
Editura: Springer
Colecția Springer-Lehrbuch
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.