meng tan yang (26 risultati)

Condizione: New. In.

Condizione: New. In.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 232.

Condizione: New. pp. 232.

Taschenbuch. Condizione: Neu. Formal Specification Techniques for Engineering Modular C Programs | Tan Yang Meng | Taschenbuch | xvi | Englisch | 2012 | Springer US | EAN 9781461368502 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.

Gebunden. Condizione: New. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs m.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Buch. Condizione: Neu. Neuware - Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.

paperback. Condizione: New. Paperback. Pub Date :2014-01-01 Pages: 129 Language: Chinese Publisher: Hefei University Press. photography-based universities five applied art and design education family planning materials from the use of cameras and photographic materials the relationship between technology and the exposure light and color. color temperature and the use of techniques. photographic composition of the basic law. and basic techniques of digital image processing in four areas. and through the portrait. landsca.

paperback. Condizione: New. Paperback. Pub Date: 2018-11-01 Pages: 214 Language: Chinese Publisher: Children's Publishing House Super Pig Secret Diary Overseas Adventures tells about: pigs and good friends ducks live comfortably on the farm. They played games all day. until one day when they were playing hide-and-seek. Unfortunately. Niu Niu was kidnapped. In order to understand and save Niu Niu. pigs and ducks went through all the hardships and began another exciting adventure.

paperback. Condizione: New. Paperback. Pub Date: 2019-01-01 Pages: 185 Language: Chinese Publisher: Children's Publishing House Super Pig Secret Diary Farm Adventures is a diary novel that combines graffiti comics. hand-painted text. and humorous language.?A simple. kind. brave. and optimistic piglet recorded a thrilling and super funny adventure in his diary. which was hilarious.

paperback. Condizione: New. Paperback. Pub Date: 2019-02-01 Pages: 182 Language: Chinese Publisher: Qingdao Publishing House. The innocent. kind and life-loving Annie lost her parents since she was a child. At the age of 11. she was adopted by Matthew and Marina of Green Gables.?Annie is different from other girls. She is persistent. passionate and full of imagination. She often lives in the dream world she has woven.?She is good at discovering the beauty in life and has endless love for nature.?She was kind and cheerfu.

paperback. Condizione: New. Paperback. Pub Date: 2020-04-01 Pages: 278 Language: Chinese Publisher: Hunan People's Publishing House millions of people worldwide will always feel fear. worry and panic. Drug company annually invest billions of funds for research and development of drugs for these symptoms. but in fact. and there is no magic bullet to completely cure anxiety. Dependent anxiety drugs .

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry. 232 pp. Englisch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs m.

Condizione: New. Print on Demand pp. 232 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. Print on Demand pp. 232 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation.Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged.Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Condizione: New. PRINT ON DEMAND pp. 232.

Condizione: New. PRINT ON DEMAND pp. 232.