Order Total (1 Item Items):
Shipping Destination:
Practical Formal Software Engineering by Mills Bruce (31 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (31)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (26)
- As New, Fine or Near Fine (1)
- Very Good or Good (3)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (24)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
hardcover. Condition: Good. Ex-library book with typical stickers and stampings. Priority Mail is available on this item. No international shipping.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
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!
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: Acceptable.
-
Practical Formal Software Engineering: Wanting The Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Practical Formal Software Engineering: Wanting The Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
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.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Practical Formal Software Engineering
Published by Cambridge University Press CUP, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: New. pp. xxxiii + 339.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
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.
-
Practical Formal Software Engineering
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: New. pp. xxxiii + 339 Illus.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Condition: New.
-
Practical Formal Software Engineering
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Condition: New. pp. xxxiii + 339.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2009
ISBN 10: 0521879035 ISBN 13: 9780521879033
Language: English
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press 2019-12-19, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Paperback. Condition: New.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Condition: New. 1st edition NO-PA16APR2015-KAP.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Paperback. Condition: Brand New. 376 pages. 9.84x7.48x0.83 inches. In Stock.
-
Condition: New. A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between.
-
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press Dez 2019, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Taschenbuch. Condition: Neu. Neuware - Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. 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. Extensive worked examples motivate readers to learn the languages through the technical side of software science.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Paperback. Condition: Brand New. 376 pages. 9.84x7.48x0.83 inches. In Stock. This item is printed on demand.
-
Practical Formal Software Engineering (Paperback)
Published by Cambridge University Press, Cambridge, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Paperback. Condition: new. Paperback. Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. 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. Extensive worked examples motivate readers to learn the languages through the technical side of software science. A textbook with a practical bent, for final year undergraduate and graduate students, emphasising 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Practical Formal Software Engineering: Wanting the Software You Get
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 729.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Condition: New. Print on Demand.
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Condition: New. PRINT ON DEMAND.
-
Practical Formal Software Engineering (Paperback)
Published by Cambridge University Press, Cambridge, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Paperback. Condition: new. Paperback. Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. 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. Extensive worked examples motivate readers to learn the languages through the technical side of software science. A textbook with a practical bent, for final year undergraduate and graduate students, emphasising 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
