Articles liés à Program Development by Specification and Transformation:...
Program Development by Specification and Transformation: The Prospectra Methodology, Language Family, and System - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition1993
- ISBN 10 354056733X
- ISBN 13 9783540567332
- ReliureBroché
- Nombre de pages630
Acheter neuf
En savoir plus sur cette édition
EUR 113,42
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science (680)) [Soft Cover ]
Edité par
Springer
(1993)
ISBN 10 : 354056733X
ISBN 13 : 9783540567332
Neuf
Soft Cover
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783540567332
Acheter neuf
EUR 113,42
Autre devise
Image d'archives
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science, 680)
Edité par
Springer
(1993)
ISBN 10 : 354056733X
ISBN 13 : 9783540567332
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170852
Acheter neuf
EUR 112,41
Autre devise
Image d'archives
Program Development by Specification and Transformation : The PROSPECTRA Methodology; Language Family; and System
Edité par
Springer
(1993)
ISBN 10 : 354056733X
ISBN 13 : 9783540567332
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540567332_lsuk
Acheter neuf
EUR 116,24
Autre devise
Image fournie par le vendeur
Program Development by Specification and Transformation
Edité par
Springer Berlin Heidelberg Aug 1993
(1993)
ISBN 10 : 354056733X
ISBN 13 : 9783540567332
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 648 pp. Englisch. N° de réf. du vendeur 9783540567332
Acheter neuf
EUR 112,34
Autre devise
Image fournie par le vendeur
Program Development by Specification and Transformation
Edité par
Springer Berlin Heidelberg
(1993)
ISBN 10 : 354056733X
ISBN 13 : 9783540567332
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. T. N° de réf. du vendeur 4894057
Acheter neuf
EUR 92,27
Autre devise
Image fournie par le vendeur
Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System
Edité par
Springer Berlin Heidelberg
(1993)
ISBN 10 : 354056733X
ISBN 13 : 9783540567332
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540567332
Acheter neuf
EUR 114,69
Autre devise