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 ...
Read More
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.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition: 2009, Cambridge University Press
Hardcover,
Very Good
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
18007542430
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
New
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
01/2009
Language:
English
Alibris ID:
11960306598
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. HARDCOVER, BRAND NEW, Perfect Shape, Small Publishers Remainder Mark on Edge,
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
Good
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
18021693563
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
New
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
17945068350
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New Book Original US edition, We Ship to PO BOX Address also.
Hide Details ▴
Edition: 2019, Cambridge University Press
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
1108818641
ISBN-13:
9781108818643
Publisher:
Cambridge University Press
Published:
2019
Language:
English
Alibris ID:
15778005447
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Contains: Tables, Unspecified. Includes: unspecified, tables. Intended for professional and scholarly audience.
Hide Details ▴
Edition: 2019, Cambridge University Press
Trade paperback,
New
Available Copies: 5
Details: ISBN:
1108818641
ISBN-13:
9781108818643
Publisher:
Cambridge University Press
Published:
2019
Language:
English
Alibris ID:
17483763430
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Contains: Tables, Unspecified. Includes: unspecified, tables. Intended for professional and scholarly audience.
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
New
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
18014280295
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New, US edition. Satisfaction guaranteed! !
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
New
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
16666062306
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. P xxxiii + 339.
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
New
Details: ISBN:
0521879035
ISBN-13:
9780521879033
Pages:
374
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
18083278341
Shipping Options: Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New, US edition. Satisfaction guaranteed! !
Hide Details ▴
ISBN-13: 9781108818643
Trade paperback
ISBN-13: 9780521879033
Hardcover
All Editions of Practical Formal Software Engineering: Wanting the Software You Get
