WILEY SERIES ON PARALLEL AND DISTRIBUTED COMPUTING
Uloženo v:
| Vydáno v: | Verification of Communication Protocols in Web Services Ročník 83; s. 257 - 258 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Hoboken, NJ
Wiley
2013
John Wiley & Sons, Inc |
| Vydání: | 1 |
| Edice: | Wiley Series on Parallel and Distributed Computing |
| ISBN: | 0470905395, 9780470905395 |
| 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 | Tari, Zahir Sakib, Kazi Bertok, Peter |
|---|---|
| Author_xml | – sequence: 1 givenname: Kazi surname: Sakib fullname: Sakib, Kazi – sequence: 2 givenname: Zahir surname: Tari fullname: Tari, Zahir organization: The Royal Melbourne Institute of Technology, Australia – sequence: 3 givenname: Peter surname: Bertok fullname: Bertok, Peter |
| BookMark | eNpVj01Pg0AYhNeoibbyA_TEH2h93_3o7h4R1kqC0ACN8UT42I1oUw6YGP-9Ih70MpNM8kxmFuTsOBwtITcIawSgt1oqRFSSAgJbD-8veEK8PyHjp2QBXIIGwbS4IN44vgLABAtFLwl9ihPz7Bcmj03hZ6m_C_IgSUziB2nkR3FR5vHdvjSRH2aPu30Zp9srcu7qw2i9X1-S8t6U4cMqybZxGCSrfkNxxRvodC0aqpSyTtFWAjQCXWeRAQepgTeaaupsI1rcaG5Fq5XopHJ1VzvLloTNtR_9wX5WthmGt7FCqKbt1b_j1XT8R76p65nqrbXVzEjJFUPFvgC6CFDL |
| ContentType | Book Chapter |
| Copyright | 2014 Wiley Copyright © 2014 John Wiley & Sons, Inc. |
| Copyright_xml | – notice: 2014 Wiley – notice: Copyright © 2014 John Wiley & Sons, Inc. |
| DOI | 10.1002/9781118720103.oth1 |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISBN | 9781118720134 1118720105 111872013X 9781118720103 |
| Edition | 1 |
| EndPage | 258 |
| ExternalDocumentID | 10.1002/9781118720103.oth1 7748318 |
| Genre | backmatter |
| GroupedDBID | 089 20A 38. 3XM 6R0 6TE 6XM A4J AABBV ABARN ABBFG ABIAV ABQPQ ABQPW ACGYG ACLGV ACNAM ACNUM ADVEM ADZGD AERYV AFLZI AFOJC AJFER AJHQL AKQZE ALMA_UNASSIGNED_HOLDINGS ALTAS AMYDA ASVIU AZZ BBABE BEFXN BFFAM BFMIH BGNUA BKEBE BPBUR BPEOZ CZZ DLKJJ DRU ECNEQ GEOUK IPJKO JFSCD KJBCJ LQKAK LWYJN MYL OCL OHILO OODEK PLCCB PQEST PQQKQ PQUKI W1A WIIVT WZT YPLAZ YSPEL ZEEST ABAZT ACBYE AHWGJ OHSWP |
| ID | FETCH-LOGICAL-i621-4b0d9a5b2888ef82c700b51fde130407904b9292feb5c1694e5c985d78fadafe3 |
| ISBN | 0470905395 9780470905395 |
| IngestDate | Sat Nov 15 22:31:01 EST 2025 Mon Aug 28 20:39:30 EDT 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-i621-4b0d9a5b2888ef82c700b51fde130407904b9292feb5c1694e5c985d78fadafe3 |
| PageCount | 2 |
| ParticipantIDs | wiley_ebooks_10_1002_9781118720103_oth1_oth1 ieee_books_7748318 |
| PublicationCentury | 2000 |
| PublicationDate | 2013 2013-11-20 |
| PublicationDateYYYYMMDD | 2013-01-01 2013-11-20 |
| PublicationDate_xml | – year: 2013 text: 2013 |
| PublicationDecade | 2010 |
| PublicationPlace | Hoboken, NJ |
| PublicationPlace_xml | – name: Hoboken, NJ |
| PublicationSeriesTitle | Wiley Series on Parallel and Distributed Computing |
| PublicationSubtitle | Model-Checking Service Compositions |
| PublicationTitle | Verification of Communication Protocols in Web Services |
| PublicationYear | 2013 |
| Publisher | Wiley John Wiley & Sons, Inc |
| Publisher_xml | – name: Wiley – name: John Wiley & Sons, Inc |
| SSID | ssj0001002582 ssib016607878 ssib029805518 ssib029025480 |
| Score | 1.4261668 |
| SourceID | wiley ieee |
| SourceType | Publisher |
| StartPage | 257 |
| Title | WILEY SERIES ON PARALLEL AND DISTRIBUTED COMPUTING |
| URI | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=7748318 https://onlinelibrary.wiley.com/doi/abs/10.1002/9781118720103.oth1 |
| Volume | 83 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Nb9MwGLa6wQG4MD7EGEM5cCsBx41j-9h1BSa6tlrTMXGJ4sTRSqd0artpP2Q_eK_tfJVKSDtwsVrLamM_zvvl932M0KfMTwSlGXaZCmLXZwlxJWgx1_NB20ghCDN1a-cDNhzyiwsxbrXuy1qY2yuW5_zuTlz_V6ihD8DWpbOPgLv6UeiAzwA6tAA7tH9ZxJuxV4P6OfxDVoThTKZFs_5DVwWsF4C8yYH9pWQtKTpdcyvaVZX70LtUydywddshRnCUCV61u2_r1H_Hl7MqyfdILdeL-Vbu7-nNHLbHH5v3081X5nLA5oa17N4TcCz7k_Zo2B53z7qDQX9gCLCOTybh2cnRFORsuzc6HU_DkgmriFh4HV26R3CtTbZTgjbzPq1vi32GBYgIQZvy1bJZF6qaWNb3LS1gWWU1m5e-TF2f93e-wL73ap1XZSL-a_gO2mEMZOeT7_3R9GcppbwgALOqJkEj-qC2QZpHBMeUFhrfRPq0XclNSKCaUkn9VH4vyrlg5Nft5ygu_tl0n4z9E75EL3RNjKOLVWBae6il8lfoeYPL8jUiBj_H4ueMhk6JnwP4OQ38nAq_Nyj81g97P9ziQg53FhDP9SVORUzhXeZcZZwkDGNJvSxVYAj5mAnsS7C2SaYkTbxA-IomgtOU8SxO40x13qLdfJGrd8iRSaYrLD2wlvXagZtHiVKeTPUxd6DSfbSnpxzpF2kVgYvCQffso89mASJluy3jNok2VizSK2aa948bfoCe1Zv1A9pdL2_UIXqa3K5nq-XHYhM8AMkGabs |
| linkProvider | ProQuest Ebooks |
| 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=Verification+of+Communication+Protocols+in+Web+Services%3A+Model%E2%80%90Checking+Service+Compositions&rft.au=Tari%2C+Zahir&rft.au=Bertok%2C+Peter&rft.au=Mukherjee%2C+Anshuman&rft.atitle=WILEY+SERIES+ON+PARALLEL+AND+DISTRIBUTED+COMPUTING&rft.date=2013-11-20&rft.pub=John+Wiley+%26+Sons%2C+Inc&rft.isbn=9780470905395&rft.spage=257&rft.epage=258&rft_id=info:doi/10.1002%2F9781118720103.oth1&rft.externalDocID=10.1002%2F9781118720103.oth1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780470905395/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780470905395/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780470905395/sc.gif&client=summon&freeimage=true |