Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Algebraic Specification Techniques in Object Oriented Programming Environments

Limba englezăengleză
Carte Carte broșată
Carte Algebraic Specification Techniques in Object Oriented Programming Environments Ruth Breu
Codul Libristo: 01565490
Editura Springer, Berlin, noiembrie 1990
The main aim of this monograph is to provide a framework forthe integrated design of object-oriented... Descrierea completă
? points 132 b
285.47 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Question Des Loyers Pendant La Guerre, Au Point de Vue Politique, Economique Et Juridique Sans Auteur / Carte Carte broșată
common.buy 75.24 lei
Curând
XLII PREMIOS HIERRO DE POESIA Y RELATO BREVE RUIZ POLANCO / Carte Carte
common.buy 112.29 lei
Pinocchio Carlo Collodi; Adreani Manuela; Giada Francia / Carte Copertă tare
common.buy 93.66 lei
Bulletin du Comité flamand de France / Carte Carte broșată
common.buy 71.91 lei
Pep Guardiola, il calcio come rivoluzione infinita Alfonso Fasano / Carte Carte broșată
common.buy 104.06 lei
Elżbieta II. Ostatnia taka królowa Marek Rybarczyk / Carte Carte broșată
common.buy 70.03 lei
Lo Stato Secondo Il Diritto Internazionale Universale (1891) Eduardo Cimbali / Carte Carte broșată
common.buy 184.41 lei
Sofies Welt Jostein Gaarder / Carte Copertă tare
common.buy 131.54 lei
Die grosse orthopadische Ruckenschule Dietmar Wottke / Carte Copertă tare
common.buy 433.67 lei
Ist die bereits bestellte Vormerkung fur eine beschrankte persoenliche Dienstbarkeit abtretbar? Jennifer Gläser / Carte Carte broșată
common.buy 212.82 lei
Plazoleta Balbuena : (el tiempo que ya fue) José Luis Paniagua Tébar / Carte Carte broșată
common.buy 142.99 lei
Sozial- und differentialpsychologische Aspekte des Erlebens und der Verarbeitung von identitätsrelevanten Wertkonflikten / Carte Carte broșată
common.buy 148.71 lei
Gesammelte Dichtungen in Sechs Banden Johann Hinrich Fehrs / Carte Carte broșată
common.buy 124.15 lei
Textiles Gestalten an Stationen 9-10 Christian Henning / Carte Foaie
common.buy 147.15 lei
O zvedavom mačiatku Ján Vrabec / Carte Carte broșată
common.buy 10.81 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Algebraic Specification Techniques in Object Oriented Programming Environments
Autor Ruth Breu
Limba engleză
Legare Carte - Carte broșată
Data publicării 1991
Număr pagini 231
EAN 9783540549727
ISBN 3540549722
Codul Libristo 01565490
Editura Springer, Berlin
Greutatea 410
Dimensiuni 155 x 233 x 13

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Mega Paraprofessional Secrets Study Guide: Mega Test Review for the Missouri Educator Gateway Assessments Mega Exam Secrets Test Prep / Carte Carte broșată
common.buy 352.39 lei
American Alligator Kelby Ouchley / Carte Copertă tare
common.buy 87.72 lei
Moonlit Memories Justin W Evans / Carte Carte broșată
common.buy 59.21 lei
Lecithin and Allied Substances; Classfication the Lipins H MacLean / Carte Carte broșată
common.buy 103.34 lei
Picture of Valencia, Taken on the Spot ... Translated from the German ... by F. Shoberl. Frederick Shoberl / Carte Carte broșată
common.buy 136.12 lei
New Views of the Constitution of the United States John Taylor / Carte Copertă tare
common.buy 215.63 lei
Wild Crop Relatives: Genomic and Breeding Resources Chittaranjan Kole / Carte Carte broșată
common.buy 853.30 lei
Matilda Roald Dahl / Carte Copertă tare
common.buy 83.87 lei
Just Enough Light for the Step I'm On--A Devotional Prayer Journey Stormie Omartian / Carte Carte broșată
common.buy 80.65 lei
Castalia, Cold Creek, and the Blue Hole Glenn C. Kuebeler / Carte Carte broșată
common.buy 109.48 lei
Barefoot Navigator Jack Lagan / Carte Carte broșată
common.buy 100.32 lei
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 / Carte Carte broșată
common.buy 189.61 lei
The Anthropology of the Credit Crisis: Magical Thinking, Irrationality & the Role of Inequality Prof Niccolo Leo Caldararo Ph D / Carte Carte broșată
common.buy 96.68 lei
Get Your Rock On - Melodic Rock Shots Neil Daniels / Carte Carte broșată
common.buy 86.89 lei
#Graduate School Admission 411: What You Need To Know About The Process Dr Hester Young Edd / Carte Carte broșată
common.buy 37.04 lei
Happy Campers: Book Three of The Commitment Series Karen D Badger / Carte Carte broșată
common.buy 76.48 lei
Top
Son of Chicken Qabalah Lon Milo (Lon Milo DuQuette) DuQuette / Carte Carte broșată
common.buy 97.09 lei
Crayons' Christmas Drew Daywalt / Carte Copertă tare
common.buy 87.72 lei
Answering the Error Don Blackwell / Carte Carte broșată
common.buy 70.24 lei
Top
The Nervous System Workbook DANA DEBORAH / Carte Carte broșată
common.buy 100.11 lei
Gender in Early Modern German History Ulinka Rublack / Carte Copertă tare
common.buy 693.75 lei
Screening the Dark Side of Love Karen A Ritzenhoff / Carte Copertă tare
common.buy 306.49 lei
Landscape Urbanism Reader Charles Waldheim / Carte Carte broșată
common.buy 215.84 lei
The Lonely Crocodile Emily Hawkins / Carte Copertă tare
common.buy 50.88 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?