Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science - Berthold Hoffmann - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540567332 - August 30, 1993
In case cover and title do not match, the title is correct

Berthold Hoffmann
Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science Annotated edition

Price
S$ 137
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 22 - Jul 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.

630 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 30, 1993
ISBN13 9783540567332
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 630
Dimensions 156 × 234 × 33 mm   ·   893 g
Language German  
Editor Hoffmann, Berthold
Editor Krieg-bruckner, Bernd

Mere med samme udgiver

See all of Berthold Hoffmann ( e.g. Paperback Book )