Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565644

Verlag Springer, Berlin, November 1992

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram developme... Vollständige Beschreibung

Libristo-Code: 01565644

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Tout le monde magnetiseur Fernand Girod

Adobe ePub DRM

11.89 €

La vida secreta de las pupas Ariadna Garcia Turon

Adobe ePub DRM

9.09 €

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

Blu-ray

84.49 €

LAS PESADILLAS DE MATíAS RICARDO ALCANTARA

Hardcover

8.99 €

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

Audio CD

18.29 €

Neuro-Yoga Anna Trökes

Hardcover

24.00 €

Zirkularitat zwischen Bulimarexie und Borderline-Syndrom Monique Vercoulen

Broschur

38.00 €

Důvěrně a otevřeně o sexualitě Nora Donátová

Broschur

4.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Program Development by Specification and Transformation

Autor Berthold Hoffmann, Bernd Krieg-Brückner

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 630

EAN 9783540567332

ISBN 354056733X

Libristo-Code 01565644

Verlag Springer, Berlin

Gewicht 806

Abmessungen 156 x 234 x 33

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert