Formal Methods for Software Architectures
Marco Bernardo, Paola Inverardi
Used - Soft cover
Condition: Used - Very good
Ships from Spain to U.S.A.
Quantity: 1 available
Add to basketCondition: Used - Very good
Quantity: 1 available
Add to basket: Este libro presenta las conferencias tutoriales impartidas por autoridades líderes en la Tercera Escuela Internacional sobre Métodos Formales para el Diseño de Sistemas Informáticos, de Comunicación y de Software, SFM 2003, celebrada en Bertinoro, Italia, en septiembre de 2003. El libro es ideal para cursos avanzados sobre arquitectura de software, así como para la formación continua de ingenieros de software que utilizan métodos formales en su trabajo profesional diario. En los últimos diez años, la arquitectura de software se ha convertido en una noción central en el desarrollo de sistemas de software complejos. La arquitectura de software es ahora aceptada en la comunidad de investigación y desarrollo de ingeniería de software como una abstracción manejable y significativa del sistema en desarrollo y se aplica a lo largo del ciclo de vida del desarrollo de software, desde el análisis y la validación de los requisitos hasta el diseño y hasta el nivel de código y ejecución. EAN: 9783540200833 Tipo: Libros Categoría: Tecnología Título: Formal Methods for Software Architectures Autor: Marco Bernardo| Paola Inverardi Editorial: Springer Idioma: en Páginas: 296 Formato: tapa blanda.
Seller Inventory # Happ-2025-01-14-aaa380c4
In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level.
This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.
"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 the carrier and indicated by you acquires, physical possession of the last good or the last lot or part.
To exercise the right of withdrawal, you must inform us at Hamelyn, C. de los Llanos de Jerez, 1, 28823, Coslada, Madrid, Spain, +34 659 049 186, hola@hamelyn.com of your decision to withdraw from this contract by a clear statement (e.g. a letter sent by post, fax or e-mail). You may use the attached model cancellation form, but it is not obligatory. You can also fill in and send a clear statement electronically on our website under "My purchases" in "My account". If you use this option, we will promptly send you an acknowledgement of receipt of such cancellation on a durable medium (e.g. by e-mail).
In order to meet the cancellation deadline, it is sufficient for you to send your communication about the exercise of the right of cancellation before the cancellation period expires.
Effects of cancellation
If you cancel this contract, we will reimburse to you all payments we have received from you, including the costs of delivery (except for any additional costs incurred if you have chosen a type of delivery other than the cheapest standard type of delivery we offer).
We may deduct from the refund the loss of value of the goods supplied, if this is due to unnecessary handling by you.
We will reimburse you without undue delay and at the latest 14 days after we are informed of your decision to withdraw from the contract.
We will carry out the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any costs as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back or until you have provided proof of having returned them, whichever is the earliest.
You must return the goods or hand them over to us or to Hamelyn, C. de los Llanos de Jerez, 1, 28823, Coslada, Madrid, Spain, +34 659 049 186, hola@hamelyn.com, without undue delay and in any event not later than 14 days from the day on which you notify us of your cancellation of this contract. The deadline is met if you return the goods before the period of 14 days has expired. You shall bear the direct costs of returning the goods. You are only liable for any diminished value of the goods resulting from handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of withdrawal
The right of withdrawal does not apply to
Model withdrawal form
(fill in and return this form only if you wish to withdraw from the contract)
A: (Hamelyn, C. de los Llanos de Jerez, 1, 28823, Coslada, Madrid, Spain, +34 659 049 186, hola@hamelyn.com)
I/we (we) hereby give notice that I/we (we) withdraw from my/our (our) contract for the sale of the following goods (for the provision of the following goods (for the provision of the following service (for the provision of the following service (for the provision of the following service),
Ordered on (*)/received on (*).
**Name(s) of the consumer(s)
**Address of consumer(s)
Signature of the consumer(s) (only if this form is notified on paper)** ** Signature of the consumer(s) (only if this form is notified on paper)
**Date
* Please cross out as appropriate.
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 | £ 11.38 | £ 15.77 |
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.