Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods - The Next 30 Years

Name: Formal Methods - The Next 30 Years
Brand: Springer Nature Switzerland AG
SKU: 24519927
Price: 54.49 EUR
Availability: InStock
Author: Maurice ter Beek
ISBN: 9783030309411

Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Maurice ter Beek

Annabelle McIver

José N. Oliveira

Língua

Inglês

Livro Capa mole

Código Libristo: 24519927

Editoras Springer Nature Switzerland AG, setembro 2019

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, hel... Descrição completa

Código Libristo: 24519927

132 b

54.49 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Archiv fur Geschichte des Buchwesens, Band 28, Archiv fur Geschichte des Buchwesens (1987) Monika Estermann

Livro de capa dura

177.88 €

Revue de littérature comparée - N°4/2006

Capa mole

19.64 €

Les Mangeurs de nuit Marie Charrel

Capa mole

12.05 €

Terpentín Lukáš Cabala

Livro de capa dura

18.22 €

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.