你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Formal Specification Techniques for Engineering Modular C Programs
Type
Physical Book
Author
Publisher
Language
English
Pages
213
Format
Paperback
Dimensions
23.4x15.6x1.2 cm
Weight
0.33 kg.
ISBN13
9781461368502
Categories

Formal Specification Techniques for Engineering Modular C Programs

Tan Yang Meng (Author) · Springer · Paperback

Formal Specification Techniques for Engineering Modular C Programs - Tan Yang Meng

Cheaper New Book Imported to Taiwan
Delivery: 20 Oct - 02 Nov Shipping: 12 to 16 business days.
NT$ 4,957
Faster New Book Imported to Taiwan
Delivery: 09 Oct - 19 Oct Shipping: 5 to 6 business days.
NT$ 6,518
NT$ 4,957

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Formal Specification Techniques for Engineering Modular C Programs"

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

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews