Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms
Uloženo v:
| Vydáno v: | Computer Aided Verification Ročník 12760 |
|---|---|
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Switzerland
Springer International Publishing AG
2021
|
| ISBN: | 9783030816872, 3030816877 |
| 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!
|
| BookMark | eNpVjjtPwzAUhY14CFr6Dxi8dSFwbcevsQoUKirBABND5CQOTZvEwXb_P2lhYbrnfjo6-iborHe9ReiGwB0BkPdaqoQlwCBRRCiV6JzJEzQbMRvhkenTf7-kF2hCqCBKS0jJJZqFsAUAKikIDlfoc7nvy9i43rQ4c97bMvY2BOxqnOFVN7S2s300h8YRPjTbXYjezMMtfvH7sDPtIZq-wm--6eYBL9ov55u46cI1Oq9NG-zs707Rx_LxPXtO1q9Pq2yxTgaaipjoUZtAWo6KQpCaa86FZBUptSzAcAk2lYQWQtmUKlYXYxMKUnFhak0lqdgUpb-7g3ffextibgvnduUo7k1bbswQrQ-5EFIzoXKuIVdEsh8E3GCz |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-030-81688-9_37 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9783030816889 3030816885 |
| Editor | Leino, K. Rustan M Silva, Alexandra |
| Editor_xml | – sequence: 1 fullname: Silva, Alexandra – sequence: 2 fullname: Leino, K. Rustan M |
| ExternalDocumentID | EBC6679368_590_817 |
| GroupedDBID | 38. A7I AABBV AABLV AAKKN AALJR AAQKC ABEEZ ABNDO ACBPT ACWLQ AEDXK AEJLV AEKFX AELOD AGWHU AIQUZ AIYYB ALMA_UNASSIGNED_HOLDINGS ALNDD BAHJK BBABE CZZ DBWEY EIXGO FFUUA I4C IEZ OCUHQ ORHYB SBO TPJZQ TSXQS V1H Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z81 Z83 Z84 Z85 Z87 Z88 |
| ID | FETCH-LOGICAL-p246t-9688104c897661f5955673d1c97b0a570e4712b68e4283fb4c80b1d56af9271d3 |
| ISBN | 9783030816872 3030816877 |
| ISICitedReferencesCount | 7 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000693429500037&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Tue Oct 21 01:08:25 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA76.758 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p246t-9688104c897661f5955673d1c97b0a570e4712b68e4283fb4c80b1d56af9271d3 |
| OCLC | 1261897041 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_37.pdf |
| PQID | EBC6679368_590_817 |
| ParticipantIDs | proquest_ebookcentralchapters_6679368_590_817 |
| PublicationCentury | 2000 |
| PublicationDate | 2021 |
| PublicationDateYYYYMMDD | 2021-01-01 |
| PublicationDate_xml | – year: 2021 text: 2021 |
| PublicationDecade | 2020 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II |
| PublicationTitle | Computer Aided Verification |
| PublicationYear | 2021 |
| Publisher | Springer International Publishing AG |
| Publisher_xml | – name: Springer International Publishing AG |
| SSID | ssj0002720650 |
| Score | 2.0571208 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6679368&ppg=817 |
| Volume | 12760 |
| WOSCitedRecordID | wos000693429500037&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELYK6qHqodCHCqXIh0ocaKQ4u34dly2PShXiAAiphyh2nHZLyW43oeLnMxM7bBJ64dBLlFhO4uRLxuPPnvkI-WQLk4-cjaNE5TBAcRmLjIb_UVs3Vgwspmmi-C-_ydNTdXWlz4JcatXICciyVHd3evFfoYYyABtDZ58A98NFoQD2AXTYAuywHXjEfe7VJxsIIg37k1kOruQl3LAIrFz34ziC3iyQgFOU57B1Y_FwaYbPF3wTQpL8Irkvs1_XSIkgue8tw211jUoB_tAHHKAss6z2J79_zJez-udNj1BI2IBQaAnFASXZYcUmx71B6AhT3jChZN-qJtILBTyy0d1lGXBqhOeC0U198pd-SmzFBoVNz3t4MBUCDItQKddxipUWfyJUEsMZ9yCrskbWpETLN5FfH1g3nHUGnxSDfNpWS5-GafUUnQDLfzXyUafdeCLnG-QlRqdQDBuBtm6SZ658TV61sNNgqt-Q7yuIaQdiOi_olA4gxsIW4r3qMw3w4i5ASxHavYqugH1LLo4Oz6cnURDSiBbJWNSRhrbDsNsq8D0FK7jmXMhRzqyWJs64jB24KIkRymH6vcJAzdiwnIus0Ilk-egdWS_npXtPKPjfOrZjnnEDF2RZJgtrMkxDyXOXjLMtErVvJ22m-8MaY-tfS5UOgNt-Yv0P5MXqm90h6_Xy1n0kz-3felYtdxuw7wGPmWHp |
| 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=bookitem&rft.title=Computer+Aided+Verification&rft.atitle=Functional+Correctness+of+C+Implementations+of+Dijkstra%27s%2C+Kruskal%27s%2C+and+Prim%27s+Algorithms&rft.date=2021-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030816872&rft.volume=12760&rft_id=info:doi/10.1007%2F978-3-030-81688-9_37&rft.externalDBID=817&rft.externalDocID=EBC6679368_590_817 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6679368-l.jpg |