Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

NASA Formal Methods : 14ème Symposium International, NFM 2022, Pasadena, CA, USA, -

État :

Neuf

Quantité :

3 disponibles

Prix :

131,49 USD

Environ123,09 EUR

Pas d'inquiétude ! Retours acceptés.

Livraison :

Gratuit Economy Shipping. Afficher les détailspour la livraison

Lieu où se trouve l'objet : Calgary, Alberta, Canada

Délai de livraison :

Estimé entre le sam. 29 juin et le mar. 9 juil. à 43230

Retours :

Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours

Paiements :

Achetez en toute confiance

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

grandeagleretail (921618)
98,3 % d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364819629829

Dernière mise à jour le 05 juin 2024 10:51:31 Paris. Afficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...

ISBN-13: 9783031067723

Book Title: NASA Formal Methods

ISBN: 9783031067723

Subject Area: Computers, Mathematics

Publication Name: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Publisher: Springer International Publishing A&G

Item Length: 9.3 in

Subject: Software Development & Engineering / General, General

Publication Year: 2022

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Author: Klaus Havelund

Item Weight: 45.2 Oz

Item Width: 6.1 in

Number of Pages: Xxii, 828 Pages

À propos de ce produit

Product Information

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-10

303106772x

ISBN-13

9783031067723

eBay Product ID (ePID)

26057265354

Product Key Features

Number of Pages

Xxii, 828 Pages

Language

English

Publication Name

NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Publication Year

2022

Subject

Software Development & Engineering / General, General

Type

Textbook

Subject Area

Computers, Mathematics

Author

Klaus Havelund

Series

Lecture Notes in Computer Science Ser.

Format

Trade Paperback

Dimensions

Item Weight

45.2 Oz

Item Length

9.3 in

Item Width

6.1 in

Additional Product Features

Dewey Edition

Series Volume Number

13260

Number of Volumes

1 Vol.

Illustrated

Yes

Dewey Decimal

004.0151

Lc Classification Number

Qa76.758

Table of Content

Invited Keynotes.- Formal Methods for Trusted Space Autonomy: Boon or Bane.- An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.- Concept Design Moves.- Automating Program Transformation with Coccinelle.- The Prusti Project: Formal Verification for Rust.- Summers Reachability Analysis for Cyber-Physical Systems: Are we there yet.- Regular Submissions.- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.- Quantification of Battery Depletion Risk Made Efficient.- Hierarchical Contract-based Synthesis for Assurance Cases.- Verified Probabilistic Policies for Deep Reinforcement Learning.- NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.- The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.- Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.- Towards Refactoring FRETish Requirements.- Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability.- ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.- Permutation Invariance of Deep Neural Networks with ReLUs.- Configurable Benchmarks for C Model Checkers.- AssumeGuarantee Reasoning with Scheduled Components.- Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.- From Verified Scala to STIX File System Embedded Code using Stainless.- On the Termination of Borrow Checking in Featherweight Rust.- Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.- Zone Extrapolations in Parametric Timed Automata.- Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.- Timed Automata Learning via SMT Solving.- Asynchronous Composition of Local Interface LTL Properties.- Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.- Robust Computation Tree Logic.- On the-Fly Model Checking with Neural MCTS.- Checking and Test Generation for Comprehensive Verification.- Operational Annotations: a New Method for Sequential Program Verification.- Byzantine Fault Tolerant Consensus in Agda.- DSV: Disassembly Soundness Validation without Assuming a Ground Truth.- Probabilistic Hyperproperties with Rewards.- Hypercontracts.- Monitorability of Expressive Verdicts.- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.- Approximate Translation from Floating-Point to Real-Interval Arithmetic.- Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.- Certified Computation of Nondeterministic Limits.- The Power of Disjoint Support Decompositions in Decision Diagrams.- Incremental Transitive Closure for Zonal Abstract Domain.- Proof Mate: an Interactive Proof Helper for PVS.- Runtime Verification Triggers.- Real-time, Autonomous Fault Recovery on the CySat-I.

2022

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Afficher les coordonnées

: liam-e esserdAmoc.liaterelgaednarg@yabe

Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364819629829

Dernière mise à jour le 05 juin 2024 10:51:31 Paris. Afficher toutes les modificationsAfficher toutes les modifications

Livraison et expédition

Lieu où se trouve l'objet :

Calgary, Alberta, Canada

Destination :

Monde entier

Exclus :

APO/FPO, Alaska/Hawaï, Arabie saoudite, Biélorussie, Koweït, Macédoine, Maroc, Protectorats américains, Qatar, Russie, Suisse, Ukraine

Quantité :

Changer de pays :

Code postal :

Livraison et expédition	Chaque objet supplémentaire	à	Service	Livraison*Afficher les instructions de livraison
Livraison gratuite	Gratuit	États-Unis	Economy Shipping	Estimé entre le sam. 29 juin et le mar. 9 juil. à 43230

*Les dates de livraison estimées - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.Instructions de livraison *Les dates de livraison estimées prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.

Délai d'expédition

Envoi sous 10 jours ouvrés après réception du paiement.

Taxes

Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay

Taxe de vente pour l'objet n°364819629829

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

* La taxe s'applique au sous-total + frais de livraison et d'expédition pour ces États uniquement

Conditions de retour

Une fois l'objet reçu, contactez le vendeur dans un délai de	Mode de remboursement	Frais de retour
30 jours	Remboursement	L'acheteur paie les frais de retour

Cliquez iciici pour en savoir plus sur les retours. Pour les transactions répondant aux conditions requises, vous êtes couvert par la Garantie client eBay si l'objet que vous avez reçu ne correspond pas à la description fournie dans l'annonce.

L'acheteur doit payer les frais de retour.

Détails des conditions de retour
Retours acceptés

Détails du paiement

Modes de paiement

Remarque : il se peut que certains modes de paiement ne soient pas disponibles lors de la finalisation de l'achat en raison de l'évaluation des risques associés à l'acheteur.