LIBRISTO
LIBROAMANTO
verplicht
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 DHL koeriersdienst 5.49 GLS koerier 4.99 DPD-punt 3.99

Gratis verzending vanaf 59,99 euro.

Algebraic Specification Techniques in Object Oriented Programming Environments

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Algebraic Specification Techniques in Object Oriented Programming Environments Ruth Breu
Libristo-code: 01565490
Uitgeverij Springer, Berlin, november 1990
The main aim of this monograph is to provide a framework forthe integrated design of object-oriented... Volledige beschrijving
? points 125 b
51.59
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen


Klanten kochten ook


Pinocchio Carlo Collodi; Adreani Manuela; Giada Francia / Boek Gebonden (harde band)
common.buy 17.86
Bulletin du Comité flamand de France / Boek Gebonden (paperback)
common.buy 13.72
Pep Guardiola, il calcio come rivoluzione infinita Alfonso Fasano / Boek Gebonden (paperback)
common.buy 19.78
Elżbieta II. Ostatnia taka królowa Marek Rybarczyk / Boek Gebonden (paperback)
common.buy 13.32
Lo Stato Secondo Il Diritto Internazionale Universale (1891) Eduardo Cimbali / Boek Gebonden (paperback)
common.buy 33.51
Sofies Welt Jostein Gaarder / Boek Gebonden (harde band)
common.buy 23.62
Die grosse orthopadische Ruckenschule Dietmar Wottke / Boek Gebonden (harde band)
common.buy 86.62
Plazoleta Balbuena : (el tiempo que ya fue) José Luis Paniagua Tébar / Boek Gebonden (paperback)
common.buy 27.25
Gesammelte Dichtungen in Sechs Banden Johann Hinrich Fehrs / Boek Gebonden (paperback)
common.buy 22.30
Textiles Gestalten an Stationen 9-10 Christian Henning / Boek Blad
common.buy 26.54
O zvedavom mačiatku Ján Vrabec / Boek Gebonden (paperback)
common.buy 2.01

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Algebraic Specification Techniques in Object Oriented Programming Environments
Auteur Ruth Breu
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1991
Aantal pagina's 231
EAN 9783540549727
ISBN 3540549722
Libristo-code 01565490
Uitgeverij Springer, Berlin
Gewicht 410
Afmetingen 155 x 233 x 13
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant


American Alligator Kelby Ouchley / Boek Gebonden (harde band)
common.buy 15.74
Moonlit Memories Justin W Evans / Boek Gebonden (paperback)
common.buy 10.59
Lecithin and Allied Substances; Classfication the Lipins H MacLean / Boek Gebonden (paperback)
common.buy 18.47
New Views of the Constitution of the United States John Taylor / Boek Gebonden (harde band)
common.buy 39.17
Wild Crop Relatives: Genomic and Breeding Resources Chittaranjan Kole / Boek Gebonden (paperback)
common.buy 154.07
Matilda Roald Dahl / Boek Gebonden (harde band)
common.buy 15.03
Just Enough Light for the Step I'm On--A Devotional Prayer Journey Stormie Omartian / Boek Gebonden (paperback)
common.buy 14.63
Castalia, Cold Creek, and the Blue Hole Glenn C. Kuebeler / Boek Gebonden (paperback)
common.buy 22.10
Barefoot Navigator Jack Lagan / Boek Gebonden (paperback)
common.buy 18.06
Get Your Rock On - Melodic Rock Shots Neil Daniels / Boek Gebonden (paperback)
common.buy 15.74
#Graduate School Admission 411: What You Need To Know About The Process Dr Hester Young Edd / Boek Gebonden (paperback)
common.buy 6.75
Happy Campers: Book Three of The Commitment Series Karen D Badger / Boek Gebonden (paperback)
common.buy 13.82
TOP
Son of Chicken Qabalah Lon Milo (Lon Milo DuQuette) DuQuette / Boek Gebonden (paperback)
common.buy 19.58
Crayons' Christmas Drew Daywalt / Boek Gebonden (harde band)
common.buy 15.74
Answering the Error Don Blackwell / Boek Gebonden (paperback)
common.buy 12.71
TOP
The Nervous System Workbook DANA DEBORAH / Boek Gebonden (paperback)
common.buy 17.96
Gender in Early Modern German History Ulinka Rublack / Boek Gebonden (harde band)
common.buy 126.20
Screening the Dark Side of Love Karen A Ritzenhoff / Boek Gebonden (harde band)
common.buy 60.98
Landscape Urbanism Reader Charles Waldheim / Boek Gebonden (paperback)
common.buy 41.08
The Lonely Crocodile Emily Hawkins / Boek Gebonden (harde band)
common.buy 9.18

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?