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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods: Foundations and Applications Lucas Lima
Código Libristo: 42074879
Editoras Springer, Berlin, novembro 2021
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SB... Descrição completa
? points 145 b
59.49 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Spice and Wolf. Tom 2 wyd. 2025 Koume Keito / Livro Capa mole
common.buy 14.16 €
Berufswirklichkeit, Berufserziehung Und Facharbeiterausbildung in Der Industrie Und Speziell in Den Eisenverarbeitenden Industriezweigen Joseph Mathieu / Livro Capa mole
common.buy 55.57 €
Morový stĺp sv. Trojice v Kremnici Daniela Bednářová / Livro Capa mole
common.buy 13.46 €
Dessiner tout de suite et facilement : Le corps humain / Livro Capa mole
common.buy 20.70 €
A siker kézikönyve Robin Sharma / Livro Livro de capa dura
common.buy 13.96 €
El mapa de tu talento Ruiz Bachs / Livro Capa mole
common.buy 21.60 €
Amanda and the Lost Time (Punjabi Book for Kids- Gurmukhi) Kidkiddos Books / Livro Capa mole
common.buy 17.78 €
Devenir biographe Tranier-Brard / Livro Capa mole
common.buy 23.81 €
Samolepková knížka Dobrodružství s Peppou / Livro Livro
common.buy 6.02 €
Erinnerungen Friedrich von Matthisson / Livro Capa mole
common.buy 17.68 €
Persönlichkeitsentwicklung und Identitätsbildung von Zweisprachigen Karoline Gawrzynski / Livro Capa mole
common.buy 68.24 €
Ozeane Hél?ne Druvert / Livro Livro de capa dura
common.buy 26.73 €
Zonificacion de Amenaza Por Movimientos En Masa Henry Antonio Pacheco Gil / Livro Capa mole
common.buy 83.32 €
Pharmacopee Des Pauvres Ou Formules Des Medicaments Usuels Dans Le Traitement Des Maladies Du Peuple Jadelot-N / Livro Capa mole
common.buy 20.60 €

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

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: Foundations and Applications
Autor Lucas Lima, Vince Molnár
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2022
Número de páginas 143
EAN 9783031224751
Código Libristo 42074879
Editoras Springer, Berlin
Peso 240
Dimensões 155 x 235 x 10

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

Formal Methods for Open Object-Based Distributed Systems Martin Steffen / Livro Capa mole
common.buy 54.07 €
Behind A Mask; Or, A Woman's Power Louisa May Alcott / Livro Capa mole
common.buy 13.26 €
Central Bank Capitalism – Monetary Policy in Times of Crisis Joscha Wullweber / Livro Capa mole
common.buy 26.53 €
Human Milk for Preterm Infants: An Issue of Clinics in Perinatology / Livro Livro de capa dura
common.buy 133.87 €
My Weirdtastic School #1: Miss Banks Pulls Lots of Pranks! Jim Paillot / Livro Capa mole
common.buy 6.32 €
The Poems, Plays and Other Remains of Sir John Suckling V1 (the Poems, Plays and Other Remains of Sir John Suckling V1 (1874) 1874) John Suckling / Livro Capa mole
common.buy 31.25 €
Yellow Perils Ross Anthony / Livro Capa mole
common.buy 33.06 €
Jeli: Condo For Sale. Dead man not included! MS Mary Jane Forbes / Livro Capa mole
common.buy 10.54 €
HOW TO LOSE WEIGHT FAST depending on the secrets of Nature Atheer Jasim Mohammed / Livro Capa mole
common.buy 33.76 €
Logical Foundations of Mathematics and Computational Complexity Pavel Pudlák / Livro Livro de capa dura
common.buy 193.88 €
Evaluating China's Past and Future Role in the World Trade Organization Economic and Security Review Commission / Livro Capa mole
common.buy 19.69 €
Connexion Between Ancient and Modern Romanc William John Courthope / Livro Livro de capa dura
common.buy 27.43 €
Sacred Art of Lovingkindness Rami M. Shapiro / Livro Livro de capa dura
common.buy 21.40 €
Ritual Dynamics and the Science of Ritual Axel Michaels / Livro Livro de capa dura
common.buy 155.59 €
Among the Nootka Gerald Stanley / Livro Capa mole
common.buy 10.85 €
Intelligent Information Processing II Qing He / Livro Capa mole
common.buy 161.62 €
Various tracts concerning the peerage of Scotland, collected from the public records, original instruments, and authentic manuscripts; to which is ann James Carmichael / Livro Capa mole
common.buy 18.18 €
How to Thrive in the Digital Age Tom Chatfield / Livro Capa mole
common.buy 12.86 €
Social Change in Tikopia Raymond Firth / Livro Livro de capa dura
common.buy 334.30 €
Airways Smooth Muscle: Modelling the Asthmatic Response In Vivo Mark A. Giembycz / Livro Capa mole
common.buy 54.07 €

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?