소장자료
| LDR | 02851nam a22004815i 4500 | ||
| 001 | 0100794496▲ | ||
| 003 | DE-He213▲ | ||
| 005 | 20240305104647▲ | ||
| 007 | cr nn 008mamaa▲ | ||
| 008 | 230609s2023 sz | s |||| 0|eng d▲ | ||
| 020 | ▼a9783031353550▼9978-3-031-35355-0▲ | ||
| 024 | 7 | ▼a10.1007/978-3-031-35355-0▼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] :▼b43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /▼cedited by Marieke Huisman, António Ravara.▲ |
| 250 | ▼a1st ed. 2023.▲ | ||
| 264 | 1 | ▼aCham :▼bSpringer Nature Switzerland :▼bImprint: Springer,▼c2023.▲ | |
| 300 | ▼aXIV, 225 p. 80 illus., 51 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 ;▼v13910▲ | |
| 505 | 0 | ▼aConcurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets.▲ | |
| 520 | ▼aThis book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.▲ | ||
| 650 | 0 | ▼aSoftware engineering.▲ | |
| 650 | 1 | 4 | ▼aSoftware Engineering.▲ |
| 700 | 1 | ▼aHuisman, Marieke.▼eeditor.▼0(orcid)0000-0003-4467-072X▼1https://orcid.org/0000-0003-4467-072X▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aRavara, António.▼eeditor.▼0(orcid)0000-0001-8074-0380▼1https://orcid.org/0000-0001-8074-0380▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 710 | 2 | ▼aSpringerLink (Online service)▲ | |
| 773 | 0 | ▼tSpringer Nature eBook▲ | |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031353543▲ |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031353567▲ |
| 830 | 0 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v13910▲ | |
| 856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-031-35355-0▲ |
Formal Techniques for Distributed Objects, Components, and Systems[electronic resource] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
자료유형
국외eBook
서명/책임사항
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / edited by Marieke Huisman, António Ravara.
판사항
1st ed. 2023.
형태사항
XIV, 225 p. 80 illus., 51 illus. in color. online resource.
총서사항
Lecture Notes in Computer Science , 1611-3349 ; 13910
Lecture Notes in Computer Science , 1611-3349 ; 13910
Lecture Notes in Computer Science , 1611-3349 ; 13910
내용주기
Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets.
요약주기
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.
ISBN
9783031353550
관련 인기대출 도서