A Theory and Practice of Program Development - 8 Angebote vergleichen

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, plus shipping.
Von Händler/Antiquariat, Anybook Ltd.
Springer, 1997. This book has soft covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9783540761624.

Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. - 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.

Lieferung aus: Deutschland, Lieferbar in 2 - 3 Tage.
A Theory and Practice of Program Development 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. 04.07.1997, Taschenbuch.

Von Händler/Antiquariat, Citi Retail [9235530], Lowfield Heath, United Kingdom.
Paperback. A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorous.Shipping may be from our UK, US or Australian warehouse depending on stock availability. This item is printed on demand. 405 pages. 0.662.

Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.

Lieferung aus: Deutschland, Next Day, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Von Händler/Antiquariat, Castle Rock [54302400], Pittsford, NY, U.S.A.
Book Condition: Good.

Lieferung aus: Vereinigte Staaten von Amerika, plus shipping.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1997-08-08. Paperback. Good.