Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Algebraic Specification Techniques in Object Oriented Programming Environments

Name: Algebraic Specification Techniques in Object Oriented Programming Environments
Brand: Springer, Berlin
SKU: 01565490
Price: 51.09 EUR
Availability: InStock
Author: Ruth Breu
ISBN: 9783540549727

Ruth Breu

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565490

Verlag Springer, Berlin, November 1990

The main aim of this monograph is to provide a framework forthe integrated design of object-oriented... Vollständige Beschreibung

Libristo-Code: 01565490

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Question Des Loyers Pendant La Guerre, Au Point de Vue Politique, Economique Et Juridique Sans Auteur

Broschur

12.49 €

Lo Stato Secondo Il Diritto Internazionale Universale (1891) Eduardo Cimbali

Broschur

32.39 €

O zvedavom mačiatku Ján Vrabec

Broschur

2.09 €

Ekspertyza sądowa

Hardcover

65.39 €

XLII PREMIOS HIERRO DE POESIA Y RELATO BREVE RUIZ POLANCO

Buch

19.09 €

BABADADA, Oromo - Bahasa Indonesia, kuusaa jechootaa mullataa - kamus gambar Babadada Gmbh

Broschur

27.29 €

Bulletin du Comité flamand de France

Broschur

11.39 €

Pep Guardiola, il calcio come rivoluzione infinita Alfonso Fasano

Broschur

17.49 €

Elżbieta II. Ostatnia taka królowa Marek Rybarczyk

Broschur

7.39 €

Un cuento para cada letra mayúscula CARMEN GIL

Hardcover

19.49 €

Notatnik ozdobny A5 80 stron linia mix wzorów

Papier- und Schreibwaren

2.69 €

Plazoleta Balbuena : (el tiempo que ya fue) José Luis Paniagua Tébar

Broschur

24.39 €

Sozial- und differentialpsychologische Aspekte des Erlebens und der Verarbeitung von identitätsrelevanten Wertkonflikten

Broschur

29.91 €

D Day Et La Bataille De Norman FL Antony Beevor

Broschur

12.89 €

Textiles Gestalten an Stationen 9-10 Christian Henning

Blatt

27.99 €

Gesammelte Dichtungen in Sechs Banden Johann Hinrich Fehrs

Broschur

24.90 €

Ist die bereits bestellte Vormerkung fur eine beschrankte persoenliche Dienstbarkeit abtretbar? Jennifer Gläser

Broschur

42.95 €

Die grosse orthopadische Ruckenschule Dietmar Wottke

Hardcover

84.99 €

Sofies Welt Jostein Gaarder

Hardcover

28.00 €

Mit Brunetti durch Venedig Toni Sepeda

Broschur

24.00 €

Pinocchio Carlo Collodi; Adreani Manuela; Giada Francia

Hardcover

16.09 €

The main aim of this monograph is to provide a framework forthe integrated design of object-oriented programs withalgebraic specification techniques. The design methodpursued relies fundamentally on the structuring of systemsbased on the notion of data types. Depending on the level ofabstraction, data types are described in an object-orientedway by algebraic specifications or by machine-executableobject-oriented programs. The treatment involves two mainaspects. First, object-oriented programs have to be relatedby a notion of correctness that models the transition fromspecifications to program implementations. The author presents a notion of correctness which relies on the idea ofabstraction functions. Second, in order to obtain anintegrated design environment, a uniform structuring conceptfor object oriented programs and algebraic specificationshas to be provided. Inheritance, subtyping and clientshipare three central notions of object-oriented structuring. The author uses them to develop the kernel of a type dobject- oriented programming language. The monographprovides the formal foundation for a unified framework ofalgebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Algebraic Specification Techniques in Object Oriented Programming Environments

Autor Ruth Breu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1991

Anzahl der Seiten 231

EAN 9783540549727

ISBN 3540549722

Libristo-Code 01565490

Verlag Springer, Berlin

Gewicht 410

Abmessungen 155 x 233 x 13

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Transactions on Rough Sets XVIII, 1 James F. Peters

Broschur

40.89 €

Suppliant Maidens and Other Plays Aischylos

Broschur

23.79 €

Picture of Valencia, Taken on the Spot ... Translated from the German ... by F. Shoberl. Frederick Shoberl

Broschur

23.29 €

Journey across South America, from the Pacific Ocean to the Atlantic Ocean. [Translated from the French by E. Rich.] Illustrated with engravings ... d Edouard Riou

Broschur

26.89 €

Travels: Comprising A Journey From England To Ohio, Two Years In That State, Travels In America To Which Are Added The Foreigner's Protracted Journal, John Eyre

Broschur

33.29 €