EUR 62,99
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 61,08
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Springer-Verlag Berlin Heidelberg 1997-01-01, 1997
ISBN 10 : 3540761624 ISBN 13 : 9783540761624
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 57,55
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
EUR 74,94
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
EUR 83,26
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 424.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 82,51
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 422 pages. 9.50x6.25x1.00 inches. In Stock.
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 82,83
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 424 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 82,87
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 424.
Vendeur : moluna, Greven, Allemagne
EUR 48,37
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explaine.
Langue: anglais
Edité par Springer London Jul 1997, 1997
ISBN 10 : 3540761624 ISBN 13 : 9783540761624
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 85,55
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code. 424 pp. Englisch.
Langue: anglais
Edité par Springer, Springer Jul 1997, 1997
ISBN 10 : 3540761624 ISBN 13 : 9783540761624
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch.