Formal Methods for Safety and Security (eng)
Langue : anglais
Edité par Springer, 2019
- Livre broché
- Neuf
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Vendeur AbeBooks depuis 11 octobre 2022
Etat: Neuf
EUR 94,25
Quantité disponible : Plus de 20 disponibles
Ajouter au panierA propos de cet article
Questo è un articolo print on demand.
N° de réf. du vendeur RS89Q6PHZG
- Titre
- Formal Methods for Safety and Security (eng)
- Auteur
- Nanda, Manju
- Éditeur
- Springer
- Année de publication
- 2019
- État de l'article
- new
- Reliure
- Couverture souple
- Langue
- anglais
- ISBN à 10 chiffres
- 981135054X
- ISBN à 13 chiffres
- 9789811350542
- Poids de l'article
- 0,45 kilogramme
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Dr. Manju Nanda has over 20 years of experience in design, development and qualification of safety critical embedded systems. Her core competencies lie in the field of safety critical software engineering and embedded systems for safety critical applications. She is involved in the design and development of safety critical embedded systems in various domains such as: medical, automotive, and aerospace. In the medical domain she has worked on the design & development of drug infusion pump and controller, baby incubator, pulse oximeter, and semi-automatic clinical analyzer. In the automotive domain she worked on developing the proof of concept of DC motor speed control unit, and crack detection and warning unit (CDWS). In the aerospace domain she has worked on the design-development, certification, and qualification of smart fatigue meter, enhanced smart fatigue meter, SARAS stall warning and aircraft interface computer (SWS/AIC), SARAS automatic flight control system(AFCS), and SARAS engine indication and crew alerting system (EICAS). She has published over 400 technical documents related to the projects. She has published papers at international & national conferences, and in peer reviewed journals.
Dr. Yogananda Jeppu holds a BE in Electronics and Communication, from Mangalore University, a postgraduate degree in missile guidance and controls from Pune University. He has a PhD in certification of safety critical control systems using model-based techniques. He has been working in the field of control system design and implementation, simulation of aerospace systems, verification and validation for aircrafts and missiles for the past 28 years. He has several publications on formal methods, randomized testing, orthogonal array testing and missile guidance and control. He is a recipient of many awards, most notable of which are the Commendation Certificate for "Significant Contributions made to the Integrated Guided Missiles Programme", and the"National Aerospace Laboratories Technology Shield for Outstanding Achievement in LCA Control Law Design, Certification and Successful Flight Tests". He started his career in 1987, working on missiles and the Indian Light Combat Aircraft programme with the Defense R&D Organization. He is currently working at Honeywell Technology Solutions as a staff engineer.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
Brook Bookstore On Demand
Napoli, NA, Italie
Vendeur AbeBooks depuis 11 octobre 2022
Frais d'expédition de Italie vers Etats-Unis
| Article | 25 à 40 jours ouvrés | 60 à 60 jours ouvrés |
|---|---|---|
| Premier article | EUR 5,50 | EUR 511,00 |
Modes de paiement
Description de la boutique
Account dedicated to Print on Demand titles. Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks’ Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller’s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment. …
Spécialité
Print on DemandProfil professionnel du vendeur
Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group
Napoli, NA Italie 80121
Conditions de vente
Brook Bookstore On Demand propose une large sélection de livres avec un catalogue constamment mis à jour et une livraison rapide dans le monde entier. Nous possédons les droits de distribution avec tous les éditeurs que nous promouvons et nous recherchons constamment de nouveaux titres intéressants à proposer à nos clients. Nous faisons partie du Brandon Group SRL (une société italienne) et toutes les commandes sont expédiées depuis l'Europe. En fonction des disponibilités, les commandes seront récupérées dans nos différents entrepôts.
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à Brook Bookstore On Demand, Bristol, United Kingdom, +39 3485885209, sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.