9783540231691 - applying formal methods: testing, performance, and m/e-commerce: forte 2004 workshops the formemc, epew, itm, toledo, spain, october 1-2, 2004: 3236 (lecture notes in computer science, 3236) de pelayo, fernando; n??nez, manuel; maamar, zakaaria; pousttchi, key; rubio, fernando (17 resultados)
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science)
Núnez, Manuel [Editor]; Maamar, Zakaaria [Editor]; Pelayo, Fernando [Editor]; Pousttchi, Key [Editor]; Rubio, Fernando [Editor];
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 8,14
Envío por EUR 6,15Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Applying Formal Methods : Testing, Performance, And M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Manuel Nunez; Zakaria Maamar; Fernando L. Pelayo; Key Pousttchi; Fernando Rubio (editors)
- Tapa blanda
Librería: BookOrders, Russell, IA, Estados Unidos de AmericaBookOrders
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 34,43
Envío por EUR 3,52Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Soft Cover. Condición: Good. Lecture Notes in Computer Science, 3236. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear and has library label on spine. 379 pages plus author index. Ex-Library.
- Más imágenes
Applying Formal Methods, Testing, Performance, And M/E-Commerce : Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Núnez, Manuel (EDT); Maamar, Zakaria (EDT); Pelayo, Fernando L. (EDT); Pousttchi, Key (EDT); Rubio, Fernando (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,53
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,16
Envío por EUR 14,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,70
Envío por EUR 18,11Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Más imágenes
Applying Formal Methods, Testing, Performance, And M/E-Commerce : Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Núnez, Manuel (EDT); Maamar, Zakaria (EDT); Pelayo, Fernando L. (EDT); Pousttchi, Key (EDT); Rubio, Fernando (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,68
Envío por EUR 17,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 77,02
Envío por EUR 3,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 400.
- Más imágenes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 63,02Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the refereed proceedings of the rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1s…t and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce EPEW: 1st European Performance Engineering Workshop ITM: 1st International Workshop on Integration of Testing Methodologies In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings,the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha. Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process.
- Más imágenes
Applying Formal Methods, Testing, Performance, And M/E-Commerce : Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Núnez, Manuel (EDT); Maamar, Zakaria (EDT); Pelayo, Fernando L. (EDT); Pousttchi, Key (EDT); Rubio, Fernando (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 121,59
Envío por EUR 17,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 111,97
Envío por EUR 29,22Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Más imágenes
Applying Formal Methods, Testing, Performance, And M/E-Commerce : Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Núnez, Manuel (EDT); Maamar, Zakaria (EDT); Pelayo, Fernando L. (EDT); Pousttchi, Key (EDT); Rubio, Fernando (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 143,03
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
- Impresión bajo demanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,93
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the refereed proceedings of the rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (…Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce EPEW: 1st European Performance Engineering Workshop ITM: 1st International Workshop on Integration of Testing Methodologies In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings,the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha. Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process. 400 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 75,65
Envío por EUR 7,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 400 Illus.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 76,04
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 400.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -TheFormEMC.- Formal Analysis of the Internet Open Trading Protocol.- Life-Cycle E-commerce Testing with OO-TTCN-3.- Specification of Autonomous Agents in E-commerce Systems.- An Approach for Assessment of Electronic Offers.- A Decomposi…tion Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges.- A Construction Kit for Modeling the Security of M-commerce Applications.- A Minimal Market Model in Ephemeral Markets.- A Process-Oriented Approach Towards Structured Market Modelling.- EPEW.- Formal Specification of Symbolic-Probabilistic Systems.- How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.- A Bounded True Concurrency Process Algebra for Performance Evaluation.- Branching Time Equivalences for Interactive Markov Chains.- System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals.- Delay Analysis for aDiscrete-Time GI-D-c Queue with Arbitrary-Length Service Times.- Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks.- Modeling and Analysis of Dual Block Multithreading.- Performance Evaluation of a SNAP-Based Grid Resource Broker.- Describing IEEE 802.11 Wireless Mechanisms by Using the -Calculus and Performance Evaluation Process Algebra.- An Analytical Design of aPractical Replication Protocol for Distributed Systems.- PEPA Nets in Practice: Modelling aDecentralised Peer-to-Peer Emergency Medical Application.- Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation.- ITM.- Symbolic Performance and Dependability Evaluation with the Tool CASPA.- Modeling and Testing Agent Systems Based on Statecharts.- Testing of Autonomous Agents Described as Utility State Machines.- Generationof Integration Tests for Self-Testing Components.- Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.- A Meta-model for TTCN-3.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Applying Formal Methods: Testing, Performance, and M/E-Commerce | FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 | Manuel Núnez (u. a.) | Taschenbuch | xi | Englisch | 2004 | Springer | EAN 9783540231691 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergar…tenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
