Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena

Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena

micrography8j-q6td6edb2 223zł LSaNv14687 Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena fachowe i poradniki Integrated Formal Methods: 14th International C, Furia, Winter*- Integrated Formal Methods: 14th International C, Furia, Winter*- Książki naukowe Książki i czasopisma bagad-beuzeg.com micrography8j-q6td6edb2 223zł LSaNv14687 Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena fachowe i poradniki Integrated Formal Methods: 14th International C, Furia, Winter*- Integrated Formal Methods: 14th International C, Furia, Winter*- Książki naukowe Książki i czasopisma bagad-beuzeg.com micrography8j-q6td6edb2 223zł LSaNv14687 Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena

Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena

223zł Integrated Formal Methods: 14th International C, Furia, Winter*- | Books & Magazines, Textbooks, Education & Reference, Textbooks Krajowa super specjalna cena Książki i czasopisma,Książki naukowe, fachowe i poradniki bagad-beuzeg.com micrography8j-q6td6edb2

Integrated Formal Methods: 14th International C, Furia, Winter*- Krajowa super specjalna cena

Parametry przedmiotu

Stan: Nowy: Nowa, nieczytana, nieużywana książka w idealnym stanie, wszystkie strony, bez uszkodzeń. Aby poznać ... Dowiedz się więcejo stanie przedmiotu Author: Kirsten Winter
Publisher: Springer PublishedOn: 2018-10-28
Publication Name: Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings ISBN: 9783319989372
EAN: 9783319989372 Series: Lecture Notes in Computer Science Ser.
Publication Year: 2018 Type: Textbook
Format: Trade Paperback Language: English
Item Length: 9.3in. Item Width: 6.1in.
Item Weight: 23.4 Oz Number of Pages: Xvi, 420 Pages

O tym produkcie

Product Information
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Product Identifiers
PublisherSpringer
ISBN-103319989375
ISBN-139783319989372
eBay Product ID (ePID)18038554933
Product Key Features
AuthorKirsten Winter
Publication NameIntegrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
FormatTrade Paperback
LanguageEnglish
SeriesLecture Notes in Computer Science Ser.
Publication Year2018
TypeTextbook
Number of PagesXvi, 420 Pages
Dimensions
Item Length9.3in.
Item Width6.1in.
Item Weight23.4 Oz
Additional Product Features
Series Volume Number11023
Number of Volumes1 Vol.
Lc Classification NumberQa75.5-76.95
Table of ContentDynamic Symbolic Execution for Software Analysis.- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics.- Program Correctness Under Weak Memory Consistency.- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders.- Reasoning About JML: Differences Between KeY and OpenJML.- Design and Verification of Restart-robust Industrial Control Software.- Efficiently Characterizing the Undefined Requests of a Rule-Based System.- Study of Integrating Random and Symbolic Testing for Object-Oriented Software.- Making Linearizability Compositional for Partially Ordered Executions.- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.- A Precise Pictorial Language for Array Invariants.- Robotics and Integrated Formal Methods: Necessity Meets Opportunity.- Formal Modeling of Software Defined Networking.- Resource-Aware Virtually Timed Ambients.- Stateful Behavioral Types for Active Objects.- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks.- Task Planning with OMT: An Application to Production Logistics.- Branching Temporal Logic of Calls and Returns for Pushdown Systems.- Repair and Generation of Formal Models Using Synthesis.- Mode-aware Concolic Testing for PLC Software.- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.- Analysing AWN-specifications Using mCRL2.
Copyright Date2018
TopicProgramming Languages / General, Software Development & Engineering / General, Intelligence (AI) & Semantics, Software Development & Engineering / Systems Analysis & Design
IllustratedYes
GenreComputers