소장자료
| LDR | 03244nam a22005655i 4500 | ||
| 001 | 0100775401▲ | ||
| 003 | DE-He213▲ | ||
| 005 | 20231018103422▲ | ||
| 007 | cr nn 008mamaa▲ | ||
| 008 | 220611s2022 sz | s |||| 0|eng d▲ | ||
| 020 | ▼a9783031086793▼9978-3-031-08679-3▲ | ||
| 024 | 7 | ▼a10.1007/978-3-031-08679-3▼2doi▲ | |
| 050 | 4 | ▼aQA76.758▲ | |
| 082 | 0 | 4 | ▼a005.1▼223▲ |
| 245 | 1 | 0 | ▼aFormal Techniques for Distributed Objects, Components, and Systems▼h[electronic resource] :▼b42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings /▼cedited by Mohammad Reza Mousavi, Anna Philippou.▲ |
| 250 | ▼a1st ed. 2022.▲ | ||
| 264 | 1 | ▼aCham :▼bSpringer International Publishing :▼bImprint: Springer,▼c2022.▲ | |
| 300 | ▼aXIV, 209 p. 52 illus., 28 illus. in color.▼bonline resource.▲ | ||
| 336 | ▼atext▼btxt▼2rdacontent▲ | ||
| 337 | ▼acomputer▼bc▼2rdamedia▲ | ||
| 338 | ▼aonline resource▼bcr▼2rdacarrier▲ | ||
| 347 | ▼atext file▼bPDF▼2rda▲ | ||
| 490 | 1 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v13273▲ | |
| 520 | ▼aThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.▲ | ||
| 650 | 0 | ▼aSoftware engineering.▲ | |
| 650 | 0 | ▼aComputer engineering.▲ | |
| 650 | 0 | ▼aComputer networks .▲ | |
| 650 | 0 | ▼aComputer science.▲ | |
| 650 | 0 | ▼aArtificial intelligence.▲ | |
| 650 | 1 | 4 | ▼aSoftware Engineering.▲ |
| 650 | 2 | 4 | ▼aComputer Engineering and Networks.▲ |
| 650 | 2 | 4 | ▼aTheory of Computation.▲ |
| 650 | 2 | 4 | ▼aComputer Engineering and Networks.▲ |
| 650 | 2 | 4 | ▼aArtificial Intelligence.▲ |
| 700 | 1 | ▼aMousavi, Mohammad Reza.▼eeditor.▼0(orcid)0000-0002-4869-6794▼1https://orcid.org/0000-0002-4869-6794▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aPhilippou, Anna.▼eeditor.▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 710 | 2 | ▼aSpringerLink (Online service)▲ | |
| 773 | 0 | ▼tSpringer Nature eBook▲ | |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031086786▲ |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031086809▲ |
| 830 | 0 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v13273▲ | |
| 856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-031-08679-3▲ |
Formal Techniques for Distributed Objects, Components, and Systems[electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
자료유형
국외eBook
서명/책임사항
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings / edited by Mohammad Reza Mousavi, Anna Philippou.
판사항
1st ed. 2022.
형태사항
XIV, 209 p. 52 illus., 28 illus. in color. online resource.
총서사항
Lecture Notes in Computer Science , 1611-3349 ; 13273
Lecture Notes in Computer Science , 1611-3349 ; 13273
Lecture Notes in Computer Science , 1611-3349 ; 13273
요약주기
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.
주제
ISBN
9783031086793
관련 인기대출 도서