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

Name: Formal Methods
Brand: Springer Nature B.V.
SKU: 43418139
Price: 59.89 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274824

25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings

Marsha Chechik

Joost-Pieter Katoen

Martin Leucker

Língua

Inglês

Livro Capa mole

Código Libristo: 43418139

Editoras Springer Nature B.V., março 2023

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Descrição completa

Código Libristo: 43418139

145 b

59.89 €

Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde. Ann Drechsler

Capa mole

14.48 €

Introducción: Diccionario etimológico crítico del Castellano Javier Goitia Blanco

Capa mole

7.69 €

I guai di una seconda possibilit? Alex McAnders

Capa mole

14.28 €

Kakukkszó Robert Galbraith (J. K. Rowling)

Livro de capa dura

18.13 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.

The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.