Model Checking for Game Design

By:

Hariharan Giridhar

Format:

Paperback / softback

Show Hide Adult Content

$132.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $33.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 7-19 June using International Courier

Description

In recent years, many techniques have been employed for game design. Programs have been written in various languages. Although these programs are very satisfactory in terms of accuracy of the results, speed is a factor that can definitely be worked on. In our approach to game design, we employed "Model Checking" techniques. Model Checking is the process of checking whether the given model follows certain specifications. We use the Model Checking approach to design and implement four games: "Missionaries and Cannibals Problem," "Bridge-Crossing Problem," "Theseus and the Minotaur Problem," and "Theseus and the Minotaur- Chess Style."

Release date Australia

July 26th, 2015

Author

Hariharan Giridhar

Audience

General (US: Trade)

Pages

116

Dimensions

152x229x7

ISBN-13

9783659759116

Product ID

23871979

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Non-Fiction Books:

Model Checking for Game Design

By:

Format:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*