- 5 Ergebnisse
Kleinster Preis: € 63,45, größter Preis: € 95,03, Mittelwert: € 74,84
1
Algebraic Specification Techniques in Object Oriented Programming Environments
Bestellen
bei Indigo.ca
C$ 128,95
(ca. € 95,03)
Bestellen
Details und Versand
gesponserter Link

Algebraic Specification Techniques in Object Oriented Programming Environments - neues Buch

ISBN: 9783540549727

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 funda… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Algebraic Specification Techniques in Object Orient - Breu, R
Bestellen
bei Averdo.com
€ 68,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Breu, R:

Algebraic Specification Techniques in Object Orient - Taschenbuch

ISBN: 9783540549727

Erscheinungsdatum: 04.12.1991, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Algebraic Specification Techniques in Object Oriented Programming Environments, Auflage: 1991,… Mehr…

Nr. 71103246. Versandkosten:, Next Day, DE. (EUR 0.00)
zuklappen (X)
3
Algebraic Specification Techniques in Object Oriented Programming Environments - Ruth Breu
Bestellen
bei booklooker.de
€ 63,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ruth Breu:
Algebraic Specification Techniques in Object Oriented Programming Environments - Erstausgabe

1991

ISBN: 9783540549727

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The main aim of this mono… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 77,99
(ca. € 71,74)
Versand: € 11,961
Bestellen
Details beim Anbieter
gesponserter Link
Ruth Breu:
Algebraic Specification Techniques in Object Oriented Programming Environments - Taschenbuch

ISBN: 9783540549727

Paperback / softback. New. The main aim of this monograph is to provide a framework forthe integrated design of object-oriented programs withalgebraic specification techniques. Depending… Mehr…

Versandkosten: EUR 11.96 The Saint Bookstore
zuklappen (X)
5
Algebraic Specification Techniques in Object Oriented Programming Environments - Ruth Breu
Bestellen
bei Hugendubel.de
€ 74,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ruth Breu:
Algebraic Specification Techniques in Object Oriented Programming Environments - Taschenbuch

ISBN: 3540549722

Gebundene Ausgabe

Algebraic Specification Techniques in Object Oriented Programming Environments ab 74.99 € als Taschenbuch: Auflage 1991. Aus dem Bereich: Bücher, English, International, Gebundene Ausgabe… Mehr…

Nr. 6902194. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Algebraic Specification Techniques in Object Oriented Programming Environments
Autor:
Titel:
ISBN-Nummer:

3540549722


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 authorpresents 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.Theauthor uses them to develop the kernel of a typedobject- oriented programming language. The monographprovides the formal foundation for a unified framework ofalgebraic specifications and object-oriented programs. Amajor guideline is the development of a design methodsupporting the structured design and reuse of software inthis environment.

Detailangaben zum Buch - Algebraic Specification Techniques in Object Oriented Programming Environments


EAN (ISBN-13): 9783540549727
ISBN (ISBN-10): 3540549722
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1991
Herausgeber: Springer-Verlag GmbH
244 Seiten
Gewicht: 0,374 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-02-27T12:45:44+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-28T12:58:07+01:00 (Berlin)
ISBN/EAN: 3540549722

ISBN - alternative Schreibweisen:
3-540-54972-2, 978-3-540-54972-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: breuß, brè ruth, bré ruth
Titel des Buches: algebraic specification techniques object oriented programming environments, science technique, lecture notes computer science, programm algebra, environment science

Daten vom Verlag:

Autor/in: Ruth Breu
Titel: Lecture Notes in Computer Science; Algebraic Specification Techniques in Object Oriented Programming Environments
Verlag: Springer; Springer Berlin
231 Seiten
Erscheinungsjahr: 1991-12-04
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 231 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Algebraic Specification; Algebraische Spezifikation; D programming language; Formal Definitions; Formale Definitionen; Object-Oriented Programming; Objekt-Orientiertes Programmieren; Programm Verification; Programm-Verifikation; Programmierung (EDV); Semantics of Programming Lan; inheritance; object; programming; programming language; Programming Techniques; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; EA

An integrated environment of classes and algebraic specifications — Basic notions and concepts.- A semantic framework of abstract data types.- A theory of inheritance, subtyping and clientship.- OS — An object oriented algebraic specification language.- OP — An object oriented kernel programming language.- An integrated design environment of classes and algebraic specifications.- Final remarks.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540466222 Algebraic Specification Techniques in Object Oriented Programming Environments (Ruth Breu)

< zum Archiv...