Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
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 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Program Development by Specification and Transformation Berthold Hoffmann
Libristo-code: 01565644
Uitgeverij Springer, Berlin, november 1992
This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram developme... Volledige beschrijving
? points 249 b
103.10 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Tout le monde magnetiseur Fernand Girod / E-book Adobe ePub DRM
common.buy 11.43 €
La vida secreta de las pupas Ariadna Garcia Turon / E-book Adobe ePub DRM
common.buy 8.80 €
Sailor Moon - Staffel 2 (Episoden 47-89) Kunihiko Ikuhara / Video Blu-ray
common.buy 81.73 €
LAS PESADILLAS DE MATíAS RICARDO ALCANTARA / Boek Gebonden (harde band)
common.buy 8.70 €
Zillertaler Geigenfest. Folge.11, 1 Audio-CD Various / Audio Audio cd
common.buy 17.71 €
Neuro-Yoga Anna Trökes / Boek Gebonden (harde band)
common.buy 21.56 €
Zirkularitat zwischen Bulimarexie und Borderline-Syndrom Monique Vercoulen / Boek Gebonden (paperback)
common.buy 34.02 €
Wordt verwacht
Důvěrně a otevřeně o sexualitě Nora Donátová / Boek Gebonden (paperback)
common.buy 5.05 €

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically well-founded methodology covering the wholedevelopment cycle, a very high-level specification andtransformation language family allowing meta-programdevelopment and formalization of the development processitself, and a prototype development system supportingstructure editing, incremental static-semantic checking,interactive context-sensitivetransformation andverification, development of transformation (meta-)programs, version management, and so on, with an initiallibraryof specifications and a sizeable collection ofimplemented transformations. The intended audience for thisdocumentation is the academic community working in this andrelated areas and those members of the industrial communityinterested in the use of formal methods.

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 Program Development by Specification and Transformation
Auteur Berthold Hoffmann, Bernd Krieg-Brückner
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1993
Aantal pagina's 630
EAN 9783540567332
ISBN 354056733X
Libristo-code 01565644
Uitgeverij Springer, Berlin
Gewicht 806
Afmetingen 156 x 234 x 33

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica
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

Dead in Her Tracks Millie Moore / Boek Gebonden (paperback)
common.buy 19.33 €
Life Stages and Native Women: Memory, Teachings, and Story Medicine Maria Campbell / Boek Gebonden (harde band)
common.buy 74.33 €
Pinot Girl Anna Maria Ponzi / Boek Gebonden (paperback)
common.buy 14.27 €
By the Book: A Meant to Be Novel Jasmine Guillory / Boek Gebonden (paperback)
common.buy 12.85 €
Beautiful You: Learning to Love Yourself Audra Blyther / Boek Gebonden (paperback)
common.buy 10.32 €
I Want to Come Home Tonight TROY TAYLOR / Boek Gebonden (paperback)
common.buy 12.14 €
Crisis, Politics and Critical Sociology Graham Cassano / Boek Gebonden (harde band)
common.buy 203.06 €
Casebook on Roman Property Law Herbert Hausmaninger / Boek Gebonden (paperback)
common.buy 49.72 €
On Monsters Stephen T. Asma / Boek Gebonden (harde band)
common.buy 24.60 €
Policy, Technology, and Efficiency of Brazilian Agriculture - Scholar's Choice Edition Constanza Valdes / Boek Gebonden (paperback)
common.buy 16.30 €
Radha Mandakini Mathur / Boek Gebonden (paperback)
common.buy 7.38 €
Rick Riordan Presents Serwa Boateng's Guide to Vampire Hunting (a Serwa Boateng Novel Book 1) Brown / Boek Gebonden (paperback)
common.buy 7.69 €
New Pathways for Organic Synthesis H.M. Colquhoun / Boek Gebonden (paperback)
common.buy 51.75 €
Managing the Behaviour of Animals P. Monaghan / Boek Gebonden (harde band)
common.buy 154.55 €
Behavioral Aspects of AIDS David G. Ostrow / Boek Gebonden (harde band)
common.buy 103.10 €
Grandville Bete Noire Bryan Talbot / Boek Gebonden (harde band)
common.buy 24.20 €

Inloggen

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

 
verplicht
verplicht
Wachtwoord vergeten

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?