Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/886
| Title: | Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude |
| Authors: | Peter Csaba Ölveczky |
| subject: | Formal methods (Computer science);Electronic data processing -- Distributed processing. |
| Year: | 2017 |
| place: | London |
| Publisher: | Springer |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/886 |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9781447166870.pdf | 4.56 MB | Adobe PDF |  Preview File |
| Title: | Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude |
| Authors: | Peter Csaba Ölveczky |
| subject: | Formal methods (Computer science);Electronic data processing -- Distributed processing. |
| Year: | 2017 |
| place: | London |
| Publisher: | Springer |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/886 |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9781447166870.pdf | 4.56 MB | Adobe PDF | Preview File |
| Title: | Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude |
| Authors: | Peter Csaba Ölveczky |
| subject: | Formal methods (Computer science);Electronic data processing -- Distributed processing. |
| Year: | 2017 |
| place: | London |
| Publisher: | Springer |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/886 |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9781447166870.pdf | 4.56 MB | Adobe PDF | Preview File |