Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author:   Maurice H. ter Beek ,  Annabelle McIver ,  José N. Oliveira
Publisher:   Springer Nature Switzerland AG
Edition:   1st ed. 2019
Volume:   11800
ISBN:  

9783030309411


Pages:   774
Publication Date:   15 September 2019
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $116.41 Quantity:  
Add to Cart

Share |

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings


Add your own review!

Overview

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.      

Full Product Details

Author:   Maurice H. ter Beek ,  Annabelle McIver ,  José N. Oliveira
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2019
Volume:   11800
Weight:   1.199kg
ISBN:  

9783030309411


ISBN 10:   303030941
Pages:   774
Publication Date:   15 September 2019
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Invited Presentations.- Verification.- Synthesis Techniques.- Concurrency.- Model Checking Circus.- Model Checking.- Analysis Techniques.- Specification Languages.- Reasoning Techniques.- Modelling Languages.- Learning-Based Techniques and Applications.- Refactoring and Reprogramming- I-Day Presentations.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now