Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Leveraging Applications Of Formal Methods, Verification And Validation: 10Th International Symposium On Leveraging Applications Of Formal Methods, IsoISBN13:9783030891589ISBN10:3030891585Author:Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)Description:Stress - Introduction - An Introduction To Graphical Modeling Of Cicd Workflows With Rig - Pyrus: An Online Modeling Environment For No-Code Data-Analytics Service Composition - Integrating External Services In Dime - Asking Why - Formal Methods For A Digital Industry: Industrial Day At Isola 2021 - Agile Business Engineering: From Transformation Towards Continuous Innovation - Towards Living Canvases - Use Cases For Simulation In The Development Of Automated Driving Systems - Simulation-Based Elicitation Of Accuracy Requirements For The Environmental Perception Of Autonomous Vehicles - Dsls And Middleware Platforms In A Model-Driven Development Approach For Secure Predictive Maintenance Systems In Smart Factories - From Requirements To Executable Rules: An Ensemble Of Domain-Specific Languages For Programming Cyber-Physical Systems In Warehouse Logistics - Mining Data Quality Rules For Data Migrations: A Case Study On Material Master Data - Programming - What Is Next? - Low-Code Is Often High-Code, So We Must Design Low-Code Platforms To Enable Proper Software Engineering - Time For All Programs, Not Just Real-Time Programs - Integrated Modeling And Development Of Component-Based Embedded Software In Scala - Slang: The Sireum Programming Language - Hamr: An Aadl Multi-Platform Code Generation Toolset - Fundamental Constructs In Programming Languages - Introducing Dynamical Systems And Chaos Early In Computer Science And Software Engineering Education Can Help Advance Theory And Practice Of Software Development And Computing - Gate: Gradual Effect Types - Fixing Classification: A Viewpoint-Based Approach - The Future Of Programming And Modelling: A Vision - Towards Model-Based Intent-Driven Adaptive Software - The Interoperability Challenge: Building A Model Driven Digital Thread Platform For Cps - Programming Vs That Thing Subject Matter Experts Do - Aligned, Purpose-Driven Cooperation: The Future Way Of System Development - Rails: Roadmaps For Ai Integration In The Rail Sector - A Journey Through Software Model Checking Of Interlocking Programs - Supporting The Development Of Hybrid Ertmsetcs Level 3 With Formal Modelling, Analysis And Simulation - Formal Methods In Railway Signalling Infrastructure Standardisation Processes - Sverify: Verifying Smart Contracts Through Lazy Annotation And Learning - Verifying Temporal Properties Of Stigmergic Collective Systems Using Cadp Binding:Paperback, PaperbackPublisher:SpringerPublication Date:2021-10-12Weight:1.58 lbsDimensions:1.04'' H x 9.21'' L x 6.14'' WNumber of Pages:518Language:English
Price: 84.56 USD
Location: USA
End Time: 2024-09-22T01:00:58.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Leveraging Applications Of Formal Methods, Verification And ...
Item Length: 9.3in
Item Width: 6.1in
Author: Bernhard Steffen
Publication Name: Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Format: Trade Paperback
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2021
Series: Theoretical Computer Science and General Issues Ser.
Type: Textbook
Item Weight: 27.6 Oz
Number of Pages: Xii, 504 Pages
