Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings
Uloženo v:
| Hlavní autoři: | , , , , |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham
Springer
2025
2025 |
| Témata: | |
| ISBN: | 3031711769, 9783031711763 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Author | Pradella, Matteo Platzer, André International Symposium of Formal Methods Europe Rozier, Kristin Yvonne Rossi, Matteo |
|---|---|
| Author_xml | – sequence: 1 fullname: International Symposium of Formal Methods Europe – sequence: 2 fullname: Platzer, André – sequence: 3 fullname: Rozier, Kristin Yvonne – sequence: 4 fullname: Pradella, Matteo – sequence: 5 fullname: Rossi, Matteo |
| BackLink | https://cir.nii.ac.jp/crid/1130865244988255258$$DView record in CiNii |
| BookMark | eNotjMtKxDAYhQMq6IzzDlm4bCF_7nEng9XCDC5G15KmGRtp06GJ4Ox8B9_QJ7FeNufA-Q7fAp3GMfoTtGCEgQJQ0pyjVUqhIUIKqUDxC_RajdNgezz43I1twteYytzhOmY_RZvDGGe4Ow6HMYW3ocDVFlNCeYG3obexwHW2_bHAO3_Ifmj8hM3Xxyew4vc12w7T6LxvQ3xJl-hsb_vkV_-9RE_V7eP6vtw83NXrm03ZMeDvpSINGA-KCgnGNeDB8nmxQjpmXNuSlkiuKaVeEQp7cEpz4rRRTIO2QNgSXf15YwjPLvwkACNaCsq50ZoKQYVm3xpGUAo |
| ContentType | Book |
| DBID | RYH |
| DatabaseName | CiNii Complete |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | BD09496239 |
| GroupedDBID | AABBV AIQUZ ALMA_UNASSIGNED_HOLDINGS BBABE RYH |
| ID | FETCH-LOGICAL-h314x-70b19e1725619cb1e1a4b19a56c39cdd0d0648222e7021f1c7840c8973818a103 |
| ISBN | 3031711769 9783031711763 |
| IngestDate | Thu Jun 26 22:36:53 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-h314x-70b19e1725619cb1e1a4b19a56c39cdd0d0648222e7021f1c7840c8973818a103 |
| Notes | Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier) Includes bibliographical references and index Other editors: Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
| ParticipantIDs | nii_cinii_1130865244988255258 |
| PublicationCentury | 2000 |
| PublicationDate | [2025] c2025 |
| PublicationDateYYYYMMDD | 2025-01-01 |
| PublicationDate_xml | – year: 2025 text: [2025] – year: 2025 text: c2025 |
| PublicationDecade | 2020 |
| PublicationPlace | Cham |
| PublicationPlace_xml | – name: Cham |
| PublicationYear | 2025 |
| Publisher | Springer |
| Publisher_xml | – name: Springer |
| SSID | ssib056567174 ssib056741068 ssib057122624 |
| Score | 2.5765798 |
| SourceID | nii |
| SourceType | Publisher |
| SubjectTerms | Formal methods (Computer science) -- Congresses |
| Title | Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings |
| URI | https://cir.nii.ac.jp/crid/1130865244988255258 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Nj9MwELXYigM3ECC-FvnArYlUJ3Ycc-SjWiS6QmJZLSeUOK42qJtdtWFV9sR_4B_yS3jjpE5bCSEOXKzESexoXjJ-Mx57GHsxt5OUNGNslSlimc2zGCRWxVVFXg9ZmsLPnp--18fH-dmZ-dBn6Vz5dAK6afL12lz9V6hRB7Bp6ew_wB0aRQWOATpKwI5yjxGH05Bl88KvBaGc0Ctv6ydZe77n9Pv4_YICtbr0xtPZOMHw2cXPLzpf6DvQ8S4AzF21jvKFjM0mJCIVKV2hZ3z7w_AXqPkfeiNS2r_grH_BbiIg6OZF0d70qbWbqp_AH6aDbuo--sMrpWb8-ZoidMLDS9rtclF0q4_a1l1uezMStefN2Hgzd6xcfEtCC7HRhLvbY796AwPVgMSZA3YA2wkq7VQcbVQK0VUYrHI4B4OaDBaW0gL8M6HkX6EX0-3LNPQK2tHU9RbtOLnLRrQU5R675Zr77GsnPt7jy19yQpfvyJsHeUd8OuOEU8Q9shH3uEY8oMrNrx8_RRr5u9DaFpYP2Kfp25PXR3GfKSM-T4Vcx3pSCuPARcGGjS2FE4VETaEymxqL_64C8yQq6DQ43VxYDbve5kYTXyvEJH3IRs1l4x4xLiuJ_9PNwfyEdKCTLpdVqWVelZCIzR6zQwjji62pFGBAeaZAEQ0sNaUSlT_5y_Wn7M6A-zM2apff3CG7ba_berV87sH7DWQ5QkY |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Formal+methods+%3A+26th+International+Symposium%2C+FM+2024%2C+Milan%2C+Italy%2C+September+9%E2%80%9313%2C+2024+%3A+proceedings&rft.au=International+Symposium+of+Formal+Methods+Europe&rft.au=Platzer%2C+Andr%C3%A9&rft.au=Rozier%2C+Kristin+Yvonne&rft.au=Pradella%2C+Matteo&rft.date=2025-01-01&rft.pub=Springer&rft.isbn=9783031711763&rft.externalDocID=BD09496239 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031711763/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031711763/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031711763/sc.gif&client=summon&freeimage=true |