Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Algebraic Specification Techniques in Object Oriented Programming Environments

Langue AnglaisAnglais
Livre Livre de poche
Livre Algebraic Specification Techniques in Object Oriented Programming Environments Ruth Breu
Code Libristo: 01565490
Éditeurs Springer, Berlin, novembre 1990
The main aim of this monograph is to provide a framework forthe integrated design of object-oriented... Description détaillée
? points 125 b
51.61 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Question Des Loyers Pendant La Guerre, Au Point de Vue Politique, Economique Et Juridique Sans Auteur / Livre Livre de poche
common.buy 13.12 €
Sofies Welt Jostein Gaarder / Livre Livre relié
common.buy 23.63 €
Pinocchio Carlo Collodi; Adreani Manuela; Giada Francia / Livre Livre relié
common.buy 17.87 €
Bientôt
XLII PREMIOS HIERRO DE POESIA Y RELATO BREVE RUIZ POLANCO / Livre Livre
common.buy 21.30 €
Bulletin du Comité flamand de France / Livre Livre de poche
common.buy 13.73 €
Pep Guardiola, il calcio come rivoluzione infinita Alfonso Fasano / Livre Livre de poche
common.buy 19.79 €
Elżbieta II. Ostatnia taka królowa Marek Rybarczyk / Livre Livre de poche
common.buy 13.63 €
Lo Stato Secondo Il Diritto Internazionale Universale (1891) Eduardo Cimbali / Livre Livre de poche
common.buy 33.53 €
O zvedavom mačiatku Ján Vrabec / Livre Livre de poche
common.buy 2.01 €
Die grosse orthopadische Ruckenschule Dietmar Wottke / Livre Livre relié
common.buy 86.66 €
Ist die bereits bestellte Vormerkung fur eine beschrankte persoenliche Dienstbarkeit abtretbar? Jennifer Gläser / Livre Livre de poche
common.buy 38.27 €
Plazoleta Balbuena : (el tiempo que ya fue) José Luis Paniagua Tébar / Livre Livre de poche
common.buy 27.26 €
Sozial- und differentialpsychologische Aspekte des Erlebens und der Verarbeitung von identitätsrelevanten Wertkonflikten / Livre Livre de poche
common.buy 26.76 €
D Day Et La Bataille De Norman FL Antony Beevor / Livre Livre de poche
common.buy 15.44 €
Gesammelte Dichtungen in Sechs Banden Johann Hinrich Fehrs / Livre Livre de poche
common.buy 22.31 €
Textiles Gestalten an Stationen 9-10 Christian Henning / Livre Feuille
common.buy 26.56 €

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 & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Algebraic Specification Techniques in Object Oriented Programming Environments
Auteur Ruth Breu
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1991
Nombre de pages 231
EAN 9783540549727
ISBN 3540549722
Code Libristo 01565490
Éditeurs Springer, Berlin
Poids 410
Dimensions 155 x 233 x 13

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

The Anthropology of the Credit Crisis: Magical Thinking, Irrationality & the Role of Inequality Prof Niccolo Leo Caldararo Ph D / Livre Livre de poche
common.buy 17.46 €
Lecithin and Allied Substances; Classfication the Lipins H MacLean / Livre Livre de poche
common.buy 18.48 €
Picture of Valencia, Taken on the Spot ... Translated from the German ... by F. Shoberl. Frederick Shoberl / Livre Livre de poche
common.buy 24.33 €
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 / Livre Livre de poche
common.buy 34.43 €
Wild Crop Relatives: Genomic and Breeding Resources Chittaranjan Kole / Livre Livre de poche
common.buy 154.13 €
Matilda Roald Dahl / Livre Livre relié
common.buy 15.44 €
Just Enough Light for the Step I'm On--A Devotional Prayer Journey Stormie Omartian / Livre Livre de poche
common.buy 14.64 €
Castalia, Cold Creek, and the Blue Hole Glenn C. Kuebeler / Livre Livre de poche
common.buy 20.80 €
Barefoot Navigator Jack Lagan / Livre Livre de poche
common.buy 18.07 €
Death Fires Ron Faust / Livre Livre de poche
common.buy 13.53 €
Mega Paraprofessional Secrets Study Guide: Mega Test Review for the Missouri Educator Gateway Assessments Mega Exam Secrets Test Prep / Livre Livre de poche
common.buy 64.03 €
Tough Cookie M Ruth Myers / Livre Livre de poche
common.buy 12.11 €
New Views of the Constitution of the United States John Taylor / Livre Livre relié
common.buy 39.18 €
Get Your Rock On - Melodic Rock Shots Neil Daniels / Livre Livre de poche
common.buy 15.75 €
#Graduate School Admission 411: What You Need To Know About The Process Dr Hester Young Edd / Livre Livre de poche
common.buy 6.76 €
Happy Campers: Book Three of The Commitment Series Karen D Badger / Livre Livre de poche
common.buy 13.83 €
Cosmologia Sacra NEHEMIAH GREW / Livre Livre relié
common.buy 38.17 €
Son of Chicken Qabalah Lon Milo (Lon Milo DuQuette) DuQuette / Livre Livre de poche
common.buy 18.48 €
Crayons' Christmas Drew Daywalt / Livre Livre relié
common.buy 15.75 €
Suppliant Maidens and Other Plays Aischylos / Livre Livre de poche
common.buy 24.13 €
Answering the Error Don Blackwell / Livre Livre de poche
common.buy 12.72 €
Top
The Nervous System Workbook DANA DEBORAH / Livre Livre de poche
common.buy 17.97 €
American Alligator Kelby Ouchley / Livre Livre relié
common.buy 15.75 €
How to Read a Latin Poem William Fitzgerald / Livre Livre de poche
common.buy 29.69 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?