Name: Model Checking for Game Design
SKU: 62583025
Price: 2072.00 TWD
Availability: InStock
Author: Giridhar Hariharan
ISBN: 9783659759116

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Lap Lambert Academic Publishing

Author

Giridhar Hariharan

Language

English

Pages

116

Format

Paperback

ISBN13

9783659759116

Model Checking for Game Design

Giridhar Hariharan (Author) · Lap Lambert Academic Publishing · Paperback

New Book Imported to Taiwan

Delivery: 09 Oct - 19 Oct

NT$ 2,072

NT$ 2,072

Add to Wishlist

Synopsis "Model Checking for Game Design"

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."

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Model Checking for Game Design - Giridhar Hariharan

Synopsis "Model Checking for Game Design"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery