Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Program Development by Specification and Transformation

Name: Program Development by Specification and Transformation
Brand: Springer, Berlin
SKU: 01565644
Price: 107.29 EUR
Availability: InStock
Author: Berthold Hoffmann
ISBN: 9783540567332

The PROSPECTRA Methodology, Language Family, and System

Berthold Hoffmann

Bernd Krieg-Brückner

Lingua

Inglese

Libro In brossura

Codice Libristo: 01565644

Casa editrice Springer, Berlin, novembre 1992

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram developme... Descrizione completa

Codice Libristo: 01565644

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Tout le monde magnetiseur Fernand Girod

Adobe ePub DRM

12.09 €

La vida secreta de las pupas Ariadna Garcia Turon

Adobe ePub DRM

9.19 €

Sailor Moon - Staffel 2 (Episoden 47-89) Kunihiko Ikuhara

Blu-ray

84.49 €

LAS PESADILLAS DE MATíAS RICARDO ALCANTARA

Rigido

7.59 €

Zillertaler Geigenfest. Folge.11, 1 Audio-CD Various

CD audio

18.29 €

Neuro-Yoga Anna Trökes

Rigido

22.59 €

Zirkularitat zwischen Bulimarexie und Borderline-Syndrom Monique Vercoulen

In brossura

35.49 €

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.