Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods Marsha Chechik
Código Libristo: 42849724
Editoras Springer, Berlin, abril 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Descrição completa
? points 222 b
91.95 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Livro Capa mole
common.buy 8.40 €
Moins un Joanniez / Livro Capa mole
common.buy 9.41 €
Locke & Key Joe Hill / Livro Livro de capa dura
common.buy 31.29 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Livro Capa mole
common.buy 29.97 €
Bonjour Pansori Han / Livro Capa mole
common.buy 25.61 €
Trace et disparition Brocchini / Livro Capa mole
common.buy 16.70 €
Basics Schallschutz Dominic Kampshoff / Livro Capa mole
common.buy 20.75 €
Štedrovečerné rozprávky Miklós Malvina / Livro Livro de capa dura
common.buy 4.55 €
Cadena de oro Kolton / Livro Capa mole
common.buy 8.40 €
La Ligue de Salut La Gervaisais-N-L-M / Livro Capa mole
common.buy 11.64 €

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. 

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2023
Número de páginas 676
EAN 9783031274800
Código Libristo 42849724
Editoras Springer, Berlin
Peso 929
Dimensões 155 x 235

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Livro Capa mole
common.buy 19.23 €
Die Closer To Me David Kuhnlein / Livro Capa mole
common.buy 12.85 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Livro Capa mole
common.buy 13.36 €
Bimladadi's Dream Aurobindo Ghosh / Livro Capa mole
common.buy 7.79 €
The Cohort Nathaniel Sizemore / Livro Capa mole
common.buy 18.93 €
Leatherface Baroness Orczy / Livro Capa mole
common.buy 29.16 €
Accidental Christian SHARON LEE FOLEY / Livro Livro de capa dura
common.buy 19.44 €
Fairground Attraction: A debut poetry collection Sally Anne Nash / Livro Capa mole
common.buy 7.99 €
Principal
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Livro Capa mole
common.buy 13.36 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Livro Livro de capa dura
common.buy 46.48 €
Linear Algebra: Examples And Applications Alain M. Robert / Livro Livro de capa dura
common.buy 110.49 €
Económico
Life in Half a Second Matthew Michalewicz / Livro Capa mole
common.buy 11.54 €
Taste Your Emotions Damien Marie Athope / Livro Capa mole
common.buy 9.21 €
Screen Acting Peter Kramer / Livro Capa mole
common.buy 55.39 €
Integrity in Depth John Beebe / Livro Capa mole
common.buy 14.57 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?