The item you selected has ended, but we found something similar.

Picture 1 of 1

Lecture Notes in Computer Science Ser.: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings by Swarat Chaudhuri (2023, Trade Paperback)

Be the first towrite a review.

grandeagleretail (927705)
98.3% positive Feedback

Price:

US $124.98

ApproximatelyAU $183.98

+ $28.79 postage

Estimated delivery Mon, 7 Oct - Mon, 28 Oct

Returns:

30-day returns. Buyer pays for return postage.

Condition:

Brand new

Publisher Springer International Publishing AG. Author Kristin Yvonne Rozier, Swarat Chaudhuri.

About this product

Product Identifiers

Publisher
Springer
ISBN-10
3031331699
ISBN-13
9783031331695
eBay Product ID (ePID)
15060628578

Product Key Features

Number of Pages
Xxiii, 490 Pages
Publication Name
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Language
English
Subject
Software Development & Engineering / General, Hardware / General, Computer Science, General
Publication Year
2023
Type
Textbook
Subject Area
Mathematics, Computers
Author
Swarat Chaudhuri
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback

Dimensions

Item Weight
27.6 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Dewey Edition
23
Series Volume Number
13903
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
004.0151
Table Of Content
Non-linear Activation Functions.- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes.- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq.- Verifying an Aircraft Collision Avoidance Neural Network with Marabou.- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.- Learning Symbolic Timed Models from Concrete Timed Data.- Reward Shaping from Hybrid Systems Models in Reinforcement Learning.- Conservative Safety Monitors of Stochastic Dynamical Systems.- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.- A Framework for Policy Based Negotiation.- Rewrite-Based Decomposition of Signal Temporal Logic Specifications.- Quantitative Verification and Strategy Synthesis for BDI Agents.- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.- Reasoning over Test Specifications using Assume-Guarantee Contracts.- Formally Proved Memory Controllers: From the Standards to Silicon.- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.- Formalized High Level Synthesis with Applications to Cryptographic Hardware.- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.- Automata-Based Software Model Checking of Hyperproperties.- Condition Synthesis Realizability via Constrained Horn Clauses.- A Toolkit for Automated Testing of Dafny.- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.- Subtropical Satisfiability for SMT Solving.- A Linear Weight Transfer Rule for Local Search.- 1.1 : Zero-suppressed Decision Diagrams in External Memory.- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.
Synopsis
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
LC Classification Number
QA76.758

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Collaborating with the Enemy: How to Work with People You Dont Agree with or Like or Trust by KAHANE (Paperback, 2017)
No ratings or reviews yet.
AU $37.04 New
AU $27.26 Used
Nonviolent Communication 3rd Ed by Rosenberg M (Paperback, 2015)
4.8 out of 5 stars based on 4 product ratings
AU $20.16 New
AU $18.33 Used
The Art of Electronics by Paul Horowitz, Winfield Hill (Hardcover, 2015)
5.0 out of 5 stars based on 6 product ratings
AU $135.00 New
AU $97.23 Used
Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland by Christopher R. Browning (2001, Paperback)
4.3 out of 5 stars based on 3 product ratings
AU $25.06 New
AU $24.00 Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.6 out of 5 stars based on 5 product ratings
AU $14.28 New
---- Used
The Act of Leadership: A Playbook for Leading with Humility, Clarity and Purpose by Dan Haesler (Paperback, 2021)
No ratings or reviews yet.
AU $27.89 New
---- Used
The Art of Hypnotherapy: Mastering client-centered techniques by C Roy Hunter (Paperback, 2010)
No ratings or reviews yet.
AU $74.98 New
AU $30.70 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches,
AU $27.99
Trending at AU $29.87
Pedagogy of the Oppressed
AU $23.02
Trending at AU $25.22
PSYCHOLOGY, 3E: The science of mind and behaviour 3rd Edition by Michael W. Pass
AU $142.99
Trending at AU $145.87
The Writing Revolution: a Guide to Advancing Thinking through Writing in All Sub
AU $42.95
Trending at AU $45.34
Ethics and Legal Professionalism in Australia 3rd Edition by Paula Baron (Englis
AU $104.99
Trending at AU $113.01
Saul Alinsky Rules for Radicals (Paperback)
AU $31.83
Trending at AU $32.55

Shop by category

Picture 1 of 1

Lecture Notes in Computer Science Ser.: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings by Swarat Chaudhuri (2023, Trade Paperback)

About this product

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Collaborating with the Enemy: How to Work with People You Dont Agree with or Like or Trust by KAHANE (Paperback, 2017)

Nonviolent Communication 3rd Ed by Rosenberg M (Paperback, 2015)

The Art of Electronics by Paul Horowitz, Winfield Hill (Hardcover, 2015)

Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland by Christopher R. Browning (2001, Paperback)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

The Act of Leadership: A Playbook for Leading with Humility, Clarity and Purpose by Dan Haesler (Paperback, 2021)

The Art of Hypnotherapy: Mastering client-centered techniques by C Roy Hunter (Paperback, 2010)

Save on Adult Learning & University

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches,

Pedagogy of the Oppressed

PSYCHOLOGY, 3E: The science of mind and behaviour 3rd Edition by Michael W. Pass

The Writing Revolution: a Guide to Advancing Thinking through Writing in All Sub

Ethics and Legal Professionalism in Australia 3rd Edition by Paula Baron (Englis

Saul Alinsky Rules for Radicals (Paperback)

You may also like

May Gibbs Paperback Fiction & Books

Non-Fiction Methodism Paperback Fiction & Books

Paperbacks International Edition

Science Fiction Fiction Paperback Fiction & Books

Karl May Fiction Paperback Fiction & Books

Non-Fiction Paperback Science Fiction & Books