Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

 
9781447166863: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
View all copies of this ISBN edition:
 
 

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.

Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website.

This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.

"synopsis" may belong to another edition of this title.

About the Author:

Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Lveczky Peter Csa, Lveczky Peter Csa
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Quantity Available: 4
Seller:
GreatBookPrices
(Columbia, MD, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # 23289155-n

More information about this seller | Contact this seller

Buy New
US$ 45.65
Convert currency

Add to Basket

Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

2.

Peter Csaba Ölveczky
Published by Springer London Ltd, United Kingdom (2018)
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2018. Paperback. Condition: New. 1st ed. 2017. Language: English . Brand New Book. This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website. This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques. Seller Inventory # SPR9781447166863

More information about this seller | Contact this seller

Buy New
US$ 48.30
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Peter Csaba Ölveczky
Published by Springer London Ltd, United Kingdom (2018)
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Paperback Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2018. Paperback. Condition: New. 1st ed. 2017. Language: English . Brand New Book. This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website. This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques. Seller Inventory # SPR9781447166863

More information about this seller | Contact this seller

Buy New
US$ 49.45
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Peter Csaba Ölveczky
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Quantity Available: 2
Seller:
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Rating
[?]

Book Description Condition: New. Bookseller Inventory # ST1447166868. Seller Inventory # ST1447166868

More information about this seller | Contact this seller

Buy New
US$ 52.09
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

5.

Peter Csaba Ölveczky (author)
Published by Springer London 2017-12-11, London (2017)
ISBN 10: 1447166868 ISBN 13: 9781447166863
New paperback Quantity Available: 5
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer London 2017-12-11, London, 2017. paperback. Condition: New. Seller Inventory # 9781447166863

More information about this seller | Contact this seller

Buy New
US$ 47.09
Convert currency

Add to Basket

Shipping: US$ 9.80
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Peter Csaba Olveczky
Published by Springer London Ltd
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Paperback Quantity Available: 1
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Springer London Ltd. Paperback. Condition: New. New copy - Usually dispatched within 2 working days. Seller Inventory # B9781447166863

More information about this seller | Contact this seller

Buy New
US$ 48.84
Convert currency

Add to Basket

Shipping: US$ 9.07
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Ölveczky, Peter Csaba
Published by Springer
ISBN 10: 1447166868 ISBN 13: 9781447166863
New PAPERBACK Quantity Available: 2
Seller:
WFL
(Holtsville, NY, U.S.A.)
Rating
[?]

Book Description Springer. PAPERBACK. Condition: New. 1447166868 Brand New ,Original Book , Direct from Source , Express 6-8 business days worldwide delivery. Seller Inventory # DG#IL267031

More information about this seller | Contact this seller

Buy New
US$ 55.97
Convert currency

Add to Basket

Shipping: US$ 4.90
Within U.S.A.
Destination, rates & speeds

8.

Peter Csaba Olveczky
Published by Springer London Ltd (2017)
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Quantity Available: 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, 2017. PAP. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # S0-9781447166863

More information about this seller | Contact this seller

Buy New
US$ 50.90
Convert currency

Add to Basket

Shipping: US$ 11.76
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Peter Csaba Ölveczky
Published by Springer (2018)
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Softcover Quantity Available: 3
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2018. Condition: New. book. Seller Inventory # ria9781447166863_rkm

More information about this seller | Contact this seller

Buy New
US$ 58.02
Convert currency

Add to Basket

Shipping: US$ 5.06
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

lveczky, Peter Csaba
Published by Springer (2018)
ISBN 10: 1447166868 ISBN 13: 9781447166863
New Softcover First Edition Quantity Available: 1
Rating
[?]

Book Description Springer, 2018. Condition: New. Series: Undergraduate Topics in Computer Science. Num Pages: 250 pages, biography. BIC Classification: UGK; UKN; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. . . 2018. 1st ed. 2017. Paperback. . . . . . Seller Inventory # V9781447166863

More information about this seller | Contact this seller

Buy New
US$ 64.32
Convert currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book