Items related to Woodcock:Softw Eng Maths (Sei Series in Software Engineering...

Woodcock:Softw Eng Maths (Sei Series in Software Engineering) - Hardcover

 
9780201504248: Woodcock:Softw Eng Maths (Sei Series in Software Engineering)

Synopsis

This book makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to other engineering disciplines. The exercises range from simple drills, intended to provide familiarity with concepts and notation, to advanced material. The first four chapters of the book are devoted to foundations, with an introduction to formal systems, then the propositional and predicate calculi, concluding with a chapter on theories in general. The second part of the book builds upon the foundations by covering in detail the theory of sets, relations, functions, and sequences. The mathematical data types then presented are powerful enough to describe many aspects of software systems, and small case studies are included as examples of their use in the modelling of software: a configuration manager, a storage allocator, and a simple backing store interface. The concrete syntax of the Z notation has been adopted. The third part of the book presents two detailed case studies in the use of mathematics in software engineering. The first is the specification of the behaviour of a telephone exchange, and the second illustrates the importance of the development of a mathematical theory in gaining an understanding of a system. Both case studies stress the roles of modelling and of proof in the construction of specifications. The final part describes the algebraic approach to specification and then summarizes and compares the various formal techniques.

"synopsis" may belong to another edition of this title.

  • PublisherAddison Wesley
  • Publication date1989
  • ISBN 10 0201504243
  • ISBN 13 9780201504248
  • BindingHardcover
  • LanguageEnglish
  • Number of pages271

Buy Used

Condition: Very Good
May have limited writing in cover...
View this item

£ 8.27 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 33.24 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780273026730: Software Engineering Mathematics

Featured Edition

ISBN 10:  0273026739 ISBN 13:  9780273026730
Publisher: CRC Press, 1988
Softcover

Search results for Woodcock:Softw Eng Maths (Sei Series in Software Engineering...

Stock Image

Woodcock, Jim
ISBN 10: 0201504243 ISBN 13: 9780201504248
Used Hardcover

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.23. Seller Inventory # G0201504243I4N00

Contact seller

Buy Used

£ 13.92
Convert currency
Shipping: £ 8.27
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Woodcock, Jim
ISBN 10: 0201504243 ISBN 13: 9780201504248
Used Hardcover

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.23. Seller Inventory # G0201504243I3N00

Contact seller

Buy Used

£ 13.92
Convert currency
Shipping: £ 8.27
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Jim Woodcock And Martin Loomes
Published by Addison-Wesley, Reading, MA, 1989
ISBN 10: 0201504243 ISBN 13: 9780201504248
Used Hardcover First Edition

Seller: True Oak Books, Highland, NY, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. First US Edition; Printing "A". Sei Series In Software Engineering; 271 pages; minor rubbing to DJ. Minor fading to pages. Very Good condition otherwise. No other noteworthy defects. No markings. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. Seller Inventory # HVD-50836-A-0

Contact seller

Buy Used

£ 22.82
Convert currency
Shipping: £ 18.47
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Woodcock, Jim, Loomes, Martin
Published by Addison-Wesley, 1989
ISBN 10: 0201504243 ISBN 13: 9780201504248
New Hardcover

Seller: The Book Spot, Sioux Falls, MN, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: New. Seller Inventory # Abebooks16350

Contact seller

Buy New

£ 48.70
Convert currency
Shipping: £ 33.24
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Loomes, Martin,Woodcock, Jim
Published by Addison-Wesley, 1989
ISBN 10: 0201504243 ISBN 13: 9780201504248
Used Hardcover

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_370835825

Contact seller

Buy Used

£ 10.89
Convert currency
Shipping: £ 84.95
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Woodcock, Jim; Loomes, Martin
Published by Addison-Wesley, 1989
ISBN 10: 0201504243 ISBN 13: 9780201504248
New Hardcover

Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0201504243

Contact seller

Buy New

£ 81.26
Convert currency
Shipping: £ 32.50
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket