Cookies on oxfam

We use cookies to ensure that you have the best experience on our website. If you continue browsing, we’ll assume that you are happy to receive all our cookies. You can change your cookie settings at any time. Find out more Close

  • Grows vegetables
  • Fills classrooms
  • Drills wells
  • Empowers women
  • Fights poverty

Software Engineering Mathematics

£19.99

Product description

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.

Item details

Author(s):
Jim Woodcock and Martin Loomes
Condition:
Used: very good
Edition:
1997
Format:
Paperback
ISBN-10:
0748408134
ISBN-13:
9780748408139
Number of pages:
291
Publisher:
CRC Press
Title:
Software Enginerering Mathematics

Standard UK Delivery £3.95 per order

Delivery FAQs

Free returns

within 21 days.
Returns policy

About this item

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.

Author(s):
Jim Woodcock and Martin Loomes
Condition:
Used: very good
Edition:
1997
Format:
Paperback
ISBN-10:
0748408134
ISBN-13:
9780748408139
Number of pages:
291
Publisher:
CRC Press
Title:
Software Enginerering Mathematics

Delivery & returns

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is £3.95 per order, so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

You can find out more about delivery and returns in our help section.

We offer a no quibble returns policy as follows:

Wedding dresses: 14 days

Overseas returns: 31 days

Everything else: 21 days


This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:

Europe: £4.70

Outside Europe: £7.00

Volunteer listed

Wonder how this unique item ended up online?

Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.

After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.

All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!

To find out more about volunteering with Oxfam, please visit our how to volunteer page.

Oxfam Bookshop Preston

Preston's ethical bookstore. A veritable feast of fiction, non-fiction, collectible & antiquarian wonderments, alongside a medley of eclectic music. We also stock a wide range of Fair Trade food and beautiful greetings cards.

We are only able to remain open through generous support and donations from our fans. We accept quality books, music and DVDs, as well as taking clothing and homewares for other Oxfam shops in the area.

There is always opportunity to get involved! If you're interested please do get in touch!"

Facebook: Oxfam Preston
http://www.oxfam.org.uk/shop/local-shops/oxfam-bookshop-preston

Twitter: @OxfamPreston
https://twitter.com/oxfampreston

Instagram: OxfamPreston
https://instagram.com/oxfampreston/

View Shop