Practical Formal Software Engineering: Wanting the Software You Get - Hardcover

Mills, Bruce

Hardcover

ISBN 10: 0521879035 ISBN 13: 9780521879033

Publisher: Cambridge University Press, 2009

View all copies of this ISBN edition

3 Used

From US$ 2.06

9 New

From US$ 24.95

Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain timely practical solutions. This book takes an engineering approach to illuminate the creation and verification of large software systems in which theorems and axioms are intuited as the formalism materializes through practice. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Based around a theme of the construction of a game engine, extensive worked examples motivate readers to learn the languages through the technical side of software science.

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

Book Description

Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

About the Author

Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia. He has twenty years of experience in the industrial electronics and software fields and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming.

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

PublisherCambridge University Press
Publication date2009
ISBN 10 0521879035
ISBN 13 9780521879033
BindingHardcover
LanguageEnglish
Edition number1
Number of pages374

Buy Used

Condition: Fine
View this item

US$ 2.06

Convert currency

Shipping: US$ 7.45
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to basket

Buy New

View this item

US$ 24.95

Convert currency

Shipping: US$ 3.99
Within U.S.A.

Destination, rates & speeds

Add to basket

30 Day Return Policy

Other Popular Editions of the Same Title

Featured Edition

ISBN 10: 1108818641 ISBN 13: 9781108818643
Publisher: Cambridge University Press, 2019
Softcover

Search results for Practical Formal Software Engineering: Wanting the...

Stock Image

Practical Formal Software Engineering: Wanting the Software You Get

Mills, Bruce

Published by Cambridge University Press, 2009

ISBN 10: 0521879035 ISBN 13: 9780521879033

Used Hardcover

Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom

Seller rating 5 out of 5 stars

Hardback. Condition: Fine. Seller Inventory # GOR013331387

Contact seller

Buy Used

US$ 2.06

Convert currency

Shipping: US$ 7.45

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Practical Formal Software Engineering: Wanting the Software You Get

Mills, Bruce

Published by Cambridge University Press, 2009

ISBN 10: 0521879035 ISBN 13: 9780521879033

New Hardcover

Seller: Poverty Hill Books, Mt. Prospect, IL, U.S.A.

Seller rating 5 out of 5 stars

Hardcover. Condition: New. HARDCOVER, BRAND NEW, Perfect Shape, Small Publishers Remainder Mark on Edge,Fast Shipping With Online Tracking, International Orders shipped Global Priority Air Mail, All orders handled with care and shipped promptly in secure packaging, we ship Mon-Sat and send shipment confirmation emails. Our customer service is friendly, we answer emails fast, accept returns and work hard to deliver 100% Customer Satisfaction! Seller Inventory # 9029163

Contact seller

Buy New

US$ 24.95

Convert currency

Shipping: US$ 3.99

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Practical Formal Software Engineering: Wanting the Software You Get

Mills, Bruce

Published by Cambridge University Press, 2009

ISBN 10: 0521879035 ISBN 13: 9780521879033

Used Hardcover

Seller: Labyrinth Books, Princeton, NJ, U.S.A.

Seller rating 4 out of 5 stars

Condition: Acceptable. Seller Inventory # 112873

Contact seller

Buy Used

US$ 46.98

Convert currency

Shipping: US$ 4.50

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Practical Formal Software Engineering: Wanting the Software You Get

Bruce Mills

Published by Cambridge University Press, 2009

ISBN 10: 0521879035 ISBN 13: 9780521879033

New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars

Condition: Brand New. New. US edition. Excellent Customer Service. Seller Inventory # ABEJUNE24-108036

Contact seller

Buy New

US$ 52.84

Convert currency

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Practical Formal Software Engineering: Wanting The Software You Get

Bruce MillS,

Published by Cambridge University Press, 2009

ISBN 10: 0521879035 ISBN 13: 9780521879033

New Hardcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-291814

Contact seller