Skip to main content

CURRENTLY SOLD OUT

Rudiments of Calculus: Volume 146 by A. Arnold, D. Niwinski (Hardcover, 2001)

About this product

About this product

Product Information

This title presents a basis for the theory of the mu-calculus, considered as an algebraic system, rather than a logic. The subject is presented in a unified way, and in a form as general as possible. Therefore, the emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. It is designed especially for researchers and students interested in logic in computer science, computer aided verification, and general aspects of automata theory, and aimed at gathering in a single place the fundamental results of the theory, often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem. However, it is supposed that the reader is already familiar with some basic automata theory and universal algebra.

Product Identifiers

Publisher
Elsevier Science & Technology
ISBN-13
9780444506207
eBay Product ID (ePID)
96003231

Product Key Features

Book Title
Rudiments of Calculus: Volume 146
Author
A. Arnold, D. Niwinski
Format
Hardcover
Language
English
Topic
Computer Science, Mathematics
Publication Year
2001
Type
Textbook
Number of Pages
298 Pages

Dimensions

Item Weight
590g

Additional Product Features

Series Title
Studies in Logic and the Foundations of Mathematics
Country/Region of Manufacture
United States
Editor
D. Niwinski, A. Arnold

Best Selling in Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books

The Mountain Is You: Transforming Self-Sabotage Into Self-Mastery by Brianna Wiest (Paperback, 2020)
5.0 out of 5 stars based on 6 product ratings
AU $21.98 New
AU $15.39 Used
The Concise 48 Laws Of Power by Robert Greene (Paperback, 2002)
4.5 out of 5 stars based on 21 product ratings
AU $21.51 New
---- Used
Atomic Habits: the life-changing million-copy #1 bestseller by James Clear (Paperback, 2018)
4.8 out of 5 stars based on 25 product ratings
AU $18.90 New
AU $8.95 Used
Become What You Are: Expanded Edition by Alan W. Watts (Paperback, 2003)
5.0 out of 5 stars based on 2 product ratings
AU $32.51 New
---- Used
House of Leaves by Mark Z. Danielewski (Paperback, 2000)
5.0 out of 5 stars based on 6 product ratings
AU $59.44 New
---- Used
First Day by Andrew Daddo (Paperback, 2014)
No ratings or reviews yet.
AU $10.00 New
AU $6.29 Used

Save on Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Books

The Orthodox Study Bible, Hardcover: Ancient Christianity Speaks to Today's Worl
AU $63.30
Trending at AU $65.12
NEW Bluey: My Mum is the Best By Bluey (Hardcover) Picture Book FREE Shipping
AU $11.95
Trending at AU $15.72
The 2023 Ninja Dual Zone Air Fryer Cookbook: 1000 Days Simple, Delicious & Low C
AU $18.48
Trending at AU $19.14
Lonely Planet Vietnam | Paperback Book | NEW AU FREE SHIPPING AU
AU $27.88
Trending at AU $28.29
The Complete Mediterranean Diet Cookbook for Beginners 2023: 2000 Days of Quick,
AU $18.83
Trending at AU $19.39
Animal Farm
AU $12.34
Trending at AU $13.51

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like