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) von ölveczky, peter csaba (4 Ergebnisse)
Sprache: Englisch
Verlag: Springer Verlag London, London, 2017
Serie: Buch 65 von 99 - Undergraduate Topics in Computer Science
- Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 57,54
EUR 14,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: 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.
Sprache: Englisch
Verlag: Springer, 2018
Serie: Buch 65 von 99 - Undergraduate Topics in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,41
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 offer…s 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.
Sprache: Englisch
Verlag: Springer, 2018
Serie: Buch 65 von 99 - Undergraduate Topics in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 119,66
EUR 14,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 250 pages. 9.25x6.10x0.79 inches. In Stock.
Sprache: Englisch
Verlag: Springer, 2018
Serie: Buch 65 von 99 - Undergraduate Topics in Computer Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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, Ti…ergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
