Verification of communication protocols in web services : model-checking service compositions /
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Lenguaje: | inglés |
| Publicado: |
Hoboken, New Jersey :
Wiley,
[2014]
|
| Colección: | Wiley series on parallel and distributed computing ;
83 |
| Materias: | |
| Acceso en línea: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/185172 Ver en el OPAC |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ELB185172 | ||
| 003 | FINmELB | ||
| 005 | 20250820144314.0 | ||
| 006 | m o d | | ||
| 007 | cr cnu|||||||| | ||
| 008 | 250820t25082014njua ob 001 0 eng|d | ||
| 020 | |a 9781118720134 |q (ebook) | ||
| 020 | |z 9780470905395 |q (print) | ||
| 035 | |a (OCoLC)960204194 | ||
| 040 | |a FINmELB |b eng |e rda |c FINmELB | ||
| 050 | 4 | |a TK5105.88813 |b .M85 2014 | |
| 082 | 0 | |a 004.6/2 |2 23 | |
| 100 | 1 | |a Tari, Zahir. | |
| 245 | 1 | 0 | |a Verification of communication protocols in web services : |b model-checking service compositions / |c Zahir Tari, Peter Bertok, Anshuman Mukherjee. |
| 264 | 1 | |a Hoboken, New Jersey : |b Wiley, |c [2014] | |
| 264 | 4 | |c 2014 | |
| 300 | |a 1 online resource (272 pages) : |b illustrations. | ||
| 336 | |a text |2 rdacontent | ||
| 337 | |a computer |2 rdamedia | ||
| 338 | |a online resource |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 490 | 0 | |a Wiley series on parallel and distributed computing ; |v 83 | |
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- |c Provided by publisher. | ||
| 588 | |a Description based on metadata supplied by the publisher and other sources. | ||
| 590 | |a Electronic resource. Santa Fe, Argentina: elibro, 2025. Available via the World Wide Web. Access may be limited to libraries affiliated with elibro. | ||
| 650 | 0 | |a Web services |x Testing. | |
| 650 | 0 | |a Computer network protocols. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Mukherjee, Anshuman. | |
| 700 | 1 | |a Bertok, Peter, |d 1952- | |
| 776 | 0 | 8 | |i Print version: |a Tari, Zahir. |t Verification of communication protocols in web services : model-checking service compositions. |d Hoboken, New Jersey : Wiley, [2014] |h xii, 256 pages |k Wiley series on parallel and distributed computing ; 83 |z 9780470905395 |w (DLC)17745081 |
| 797 | 2 | |a elibro, Corp. | |
| 856 | 4 | 0 | |u https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/185172 |