Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.: FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II (2020)

• Record Type: Book
• Other Titles: FM 2019
• Further Information: Note: Emil Sekerinski, Nelma Moreira, José N. Oliveira et al. (eds.).
• Other Names: Sekerinski, E (Emil), 1963-; Moreira, Nelma; Oliveira, José N; International Symposium of Formal Methods Europe, 23rd
• Contents: HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (575 pages)
• Subjects: 004.01/51; Formal methods (Computer science) -- Congresses; Artificial intelligence; Software Engineering; Expert systems / knowledge-based systems; Systems analysis & design; Information technology: general issues; Computer science; Computers -- Intelligence (AI) & Semantics; Computers -- Software Development & Engineering -- General; Computers -- Expert Systems; Computers -- Information Technology; Computers -- Data Processing; Computers -- Computer Science; Formal methods (Computer science); Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030549978
• Related ISBNs: 9783030549961
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.