Computer-Aided Verification of Coordinating Processes

Name: Computer-Aided Verification of Coordinating Processes
SKU: 9780691606057
Price: 34.98 USD
Availability: InStock

Kurshan, Robert P.

$51.00

$34.98

Adding to cart… The item has been added

Author

Kurshan, Robert P.

Publish Date

20140714

Subtitle

The Automata-Theoretic Approach

Book Type

Paperback

Number of Pages

272

Publisher Name

ISBN-10

0691606056

ISBN-13

9780691606057

citemno

166716

SKU

9780691606057

Computer-Aided Project Management

$88.00

$14.98

Ideal for advanced undergraduate- and graduate-level courses in management, project, systems, and construction engineering, Computer-Aided Project Management builds a bridge from the genesis of...

$88.00

$14.98

$88.00

$14.98

add to cart choose option

Knowledge and Coordination

$62.00

$31.98

Adam Smith and Friedrich Hayek saw the liberty principle as focal and accorded it strong presumption. But their wisdom invokes how little we can know. In Knowledge and Coordination, Daniel Klein...

$62.00

$31.98

$62.00

$31.98

add to cart choose option

Coordination Games

$110.00

$60.98

$110.00

$60.98

$110.00

$60.98

add to cart choose option

This book explores how individual actions coordinate to produce unintended social consequences. In the past this phenomenon has been explained as the outcome of rational, self-interested individual...

$46.99

$23.98

$46.99

$23.98

add to cart choose option

Computer-Aided Verification of Coordinating Processes

Kurshan, Robert P.

You Might Also Like

Shop by Category

Recommended

About Us

More Information

Computer-Aided Verification of Coordinating Processes

Kurshan, Robert P.

You Might Also Like

Computer-Aided Project Management

Knowledge and Coordination

Coordination Games

Rationality and Coordination

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare