Formal Aspects of Component Software
Diego Marmsoler, Meng Sun
Sold by Hamelyn, Madrid, M, Spain
AbeBooks Seller since July 18, 2022
Used - Soft cover
Condition: Used - As new
Ships from Spain to U.S.A.
Quantity: 1 available
Add to basketSold by Hamelyn, Madrid, M, Spain
AbeBooks Seller since July 18, 2022
Condition: Used - As new
Quantity: 1 available
Add to basket: Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.
Seller Inventory # Happ-2025-11-07-202b2678
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
"About this title" may belong to another edition of this title.
Payment by credit card or PayPal.
If you are a consumer, you can cancel the contract in accordance with the following. A consumer is any natural person who is acting for purposes which are outside his or her trade, business, craft or profession.
INFORMATION ON THE RIGHT OF WITHDRAWAL
Legal right of withdrawal
You have the right to cancel this contract within 14 days without giving any reason.
The withdrawal period will expire 14 days after the day on which you acquire, or a third party other than...
All shipments will have tracking number, however, free shipments will not provide tracking information.
Urgent shipment to any point of peninsular Spain with guaranteed delivery in 24/48 working hours.
Shipping to autonomous cities, Canary Islands and Balearic Islands with delivery in 2-7 working days.
Shipments to Europe with delivery in 2-10 working days.
Shipments outside Europe with delivery in 5-20 working days.
| Order quantity | 4 to 14 business days | 1 to 3 business days |
|---|---|---|
| First item | US$ 15.22 | US$ 21.08 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.