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

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods: Foundations and Applications Sidney C. Nogueira
Código Libristo: 46813857
Editoras Springer, Berlin, dezembro 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Descrição completa
? points 153 b
63.34 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Jaroslav Velc V oblacích Ondřej Neff / Livro Livro de capa dura
common.buy 75.36 €
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Livro Capa mole
common.buy 34.05 €
Co se tenkrát nemohlo napsat Jiří Haleš / Livro Livro de capa dura
common.buy 12.62 €
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Livro Capa mole
common.buy 17.37 €
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Livro Capa mole
common.buy 16.56 €
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Livro Capa mole
common.buy 27.47 €
Opowiastki do przemyślenia Bucay Jorge / Livro Livro de capa dura
common.buy 10.60 €
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Livro Livro
common.buy 40.10 €
Principal
Desert Habitat / Jogo/brinquedo Brinquedo
common.buy 15.65 €
Económico
Přesedni na můj vůz Květa Monhartová / Livro Capa mole
common.buy 0.60 €
MIGUEL FISAC ASENSIO WANDOSELL / Livro Livro
common.buy 22.62 €
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Livro Capa mole
common.buy 14.74 €
PECHE EN MER A LA VOILE MARIN / Livro Capa mole
common.buy 13.93 €
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Livro Capa mole
common.buy 20.70 €
Que Vuelvan Las Vacas Locas! Carles Arbat / Livro Capa mole
common.buy 22.82 €
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Livro Capa mole
common.buy 23.93 €
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Livro Capa mole
common.buy 32.32 €
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Livro Capa mole
common.buy 15.25 €
Tantra : el camino de la aceptación Osho / Livro Capa mole
common.buy 14.34 €
Libertarianizm Krytyka Tomasz Teluk / Livro Capa mole
common.buy 6.96 €
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Livro Livro de capa dura
common.buy 48.38 €
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Livro Capa mole
common.buy 23.73 €
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Livro Capa mole
common.buy 12.72 €

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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 Sidney C. Nogueira, Ciprian Teodorov
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2024
Número de páginas 210
EAN 9783031781155
Código Libristo 46813857
Editoras Springer, Berlin
Peso 347
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

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Livro Capa mole
common.buy 12.42 €
Salem's Vengeance Aaron Galvin / Livro Capa mole
common.buy 11.00 €
Patience Wins: War in the Works George Manville Fenn / Livro Capa mole
common.buy 6.46 €
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Livro Livro de capa dura
common.buy 104.05 €
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Livro Livro de capa dura
common.buy 109.00 €
Bond and Free, by the Author of 'Caste' Emily Jolly / Livro Livro de capa dura
common.buy 31.11 €
World of Aluna #2 PAULA GARCES / Livro Capa mole
common.buy 7.06 €
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Livro Capa mole
common.buy 22.52 €
Fractional Calculus for Skeptics I West / Livro Livro de capa dura
common.buy 251.76 €
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Livro Capa mole
common.buy 14.44 €
Still Life with Timex Elisabeth Murawski / Livro Capa mole
common.buy 14.84 €
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Livro Capa mole
common.buy 23.43 €
The Dragon King: An Elemental spin-off novella T. B. Wiese / Livro Capa mole
common.buy 10.60 €
Son Philipp Meyer / Livro Capa mole
common.buy 15.04 €
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Livro Capa mole
common.buy 14.03 €
Paddling the Ozarks Mike Bezemek / Livro Capa mole
common.buy 15.14 €
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Livro Capa mole
common.buy 56.16 €
Berenstain Bears Trick or Treat Jan Berenstain / Livro Capa mole
common.buy 5.14 €
Plato Plato / Livro Capa mole
common.buy 42.32 €
Mandarin Aaron Kunin / Livro Capa mole
common.buy 17.17 €
Learning in a Burning House Sonya Douglass Horsford / Livro Capa mole
common.buy 33.43 €
Undead Next Door Kerrelyn Sparks / Livro Capa mole
common.buy 6.56 €
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Livro Capa mole
common.buy 48.79 €
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Livro Livro de capa dura
common.buy 30.20 €

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?