SØG - mellem flere end 8 millioner bøger:
Viser: Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems Vital Source e-bog
Peter Csaba Ölveczky
(2018)
Designing Reliable Distributed Systems Vital Source e-bog
Peter Csaba Ölveczky
(2018)
Designing Reliable Distributed Systems Vital Source e-bog
Peter Csaba Ölveczky
(2018)
Designing Reliable Distributed Systems Vital Source e-bog
Peter Csaba Ölveczky
(2018)
Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Peter Csaba Ölveczky
(2018)
Sprog: Engelsk
Detaljer om varen
- Vital Source searchable e-book (Reflowable pages)
- Udgiver: Springer Nature (Februar 2018)
- ISBN: 9781447166870
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: ubegrænset dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Vital Source 180 day rentals (dynamic pages)
- Udgiver: Springer Nature (Februar 2018)
- ISBN: 9781447166870R180
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Vital Source 365 day rentals (dynamic pages)
- Udgiver: Springer Nature (Februar 2018)
- ISBN: 9781447166870R365
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: 5 år fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Vital Source 90 day rentals (dynamic pages)
- Udgiver: Springer Nature (Februar 2018)
- ISBN: 9781447166870R90
Bookshelf online: 90 dage fra købsdato.
Bookshelf appen: 90 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Paperback: 250 sider
- Udgiver: Springer London, Limited (Februar 2018)
- ISBN: 9781447166863
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.
Part I: Equational Specifications and Their Analysis
.- Equational Specification in Maude.- Operational Semantics of Equational Specifications.- Termination.- Confluence.- Equational Logic.- Models of Equational Specifications.-
Part II: Specification and Analysis of Distributed Systems in Maude
.- Modeling Distributed Systems in Rewriting Logic.- Executing Rewriting Logic Specifications in Maude.- Concurrent Objects in Maude.- Modeling Communication in Maude.- Modeling and Analyzing Transport Protocols.- Distributed Algorithms.- Analyzing a Cryptographic Protocol.- System Requirements.- Formalizing and Checking Requirements.- Real-Time and Probabilistic Systems.- Appendix A: Mathematical Preliminaries.