Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude - Couverture souple
Livre 72 sur 116: Undergraduate Topics in Computer Science
Synopsis
Introduces formal modeling of abstract data types and distributed systems
Does not assume or require any formal methods or theoretical computer science background
Contains exercises throughout
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Designing Reliable Distributed Systems: A Formal Methods...
Image d'archives
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 6a8a7ec3d2bea458a449fd35c7e2cf8f
Acheter neuf
EUR 62,23
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Edité par
Springer Verlag London, London, 2017
ISBN 10 : 1447166868
ISBN 13 : 9781447166863
Ancien ou d'occasion
Paperback
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Paperback in very good condition. Cover corners and spine ends are slightly bumped. Covers are clean, binding is sound and content is as unread. LW. Used. N° de réf. du vendeur 611279
Acheter D'occasion
EUR 57,20
Expédition à EUR 14,46
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Designing Reliable Distributed Systems
Edité par
Springer London Feb 2018, 2018
ISBN 10 : 1447166868
ISBN 13 : 9781447166863
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 332 pp. Englisch. N° de réf. du vendeur 9781447166863
Acheter neuf
EUR 74,89
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Modeling and Analysis of Distributed Systems
Edité par
Springer London, 2018
ISBN 10 : 1447166868
ISBN 13 : 9781447166863
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 sim. N° de réf. du vendeur 31551175
Acheter neuf
EUR 64,33
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Distributed Systems: An Introduction Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 250. N° de réf. du vendeur 26372414030
Acheter neuf
EUR 110,32
Expédition à EUR 3,40
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Modeling and Analysis of Distributed Systems: An Introduction Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 250. N° de réf. du vendeur 373631377
Acheter neuf
EUR 112,99
Expédition à EUR 7,52
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Modeling and Analysis of Distributed Systems: An Introduction Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 250. N° de réf. du vendeur 18372414020
Acheter neuf
EUR 113,41
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Modeling and Analysis of Distributed Systems: An Introduction Based on Executable Modeling in Maude
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 250 pages. 9.25x6.10x0.79 inches. In Stock. N° de réf. du vendeur zk1447166868
Acheter neuf
EUR 116,12
Expédition à EUR 14,46
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Designing Reliable Distributed Systems
Edité par
Springer, Springer Feb 2018, 2018
ISBN 10 : 1447166868
ISBN 13 : 9781447166863
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Introduces formal modeling of abstract data types and distributed systemsDoes not assume or require any formal methods or theoretical computer science backgroundContains exercises throughoutSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch. N° de réf. du vendeur 9781447166863
Acheter neuf
EUR 74,89
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Designing Reliable Distributed Systems | A Formal Methods Approach Based on Executable Modeling in Maude
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Designing Reliable Distributed Systems | A Formal Methods Approach Based on Executable Modeling in Maude | Peter Csaba Ölveczky | Taschenbuch | Undergraduate Topics in Computer Science | xviii | Englisch | 2018 | Springer | EAN 9781447166863 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 111064554
Acheter neuf
EUR 68,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)