Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods: Foundations and Applications

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

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Sidney C. Nogueira
Libristo code: 46813857
Publishers Springer, Berlin, December 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Full description
? points 162 b
67.38 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Book Paperback
common.buy 29.77 €
MIGUEL FISAC ASENSIO WANDOSELL / Book Book
common.buy 26.11 €
Jaroslav Velc V oblacích Ondřej Neff / Book Hardback
common.buy 80.39 €
Co se tenkrát nemohlo napsat Jiří Haleš / Book Hardback
common.buy 13.51 €
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Book Paperback
common.buy 19.81 €
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Book Paperback
common.buy 19.91 €
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Book Paperback
common.buy 31.50 €
Opowiastki do przemyślenia Bucay Jorge / Book Hardback
common.buy 12.69 €
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Book Book
common.buy 46.13 €
Top
Desert Habitat / Game/Toy Toy
common.buy 16.76 €
Affordable
Přesedni na můj vůz Květa Monhartová / Book Paperback
common.buy 0.60 €
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Book Paperback
common.buy 16.25 €
Deutsche Sicherheitsstrukturen im 21. Jahrhundert. Streitbare Demokratie und ihre institutionelle Umsetzung durch den Verfassungsschutz Lars Normann / Book Paperback
common.buy 42.98 €
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Book Paperback
common.buy 13.61 €
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Book Paperback
common.buy 25.40 €
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Book Hardback
common.buy 54.47 €
Libertarianizm Krytyka Tomasz Teluk / Book Paperback
common.buy 8.02 €
Tantra : el camino de la aceptación Osho / Book Paperback
common.buy 16.76 €
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Book Paperback
common.buy 17.07 €
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Book Paperback
common.buy 37.60 €
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Book Paperback
common.buy 28.45 €
Que Vuelvan Las Vacas Locas! Carles Arbat / Book Paperback
common.buy 24.28 €
Top
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Book Paperback
common.buy 21.94 €
Kinderkritzelbuch: Zeichnen und Malen für Kinder Conny Seiler / Book Paperback
common.buy 14.93 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods: Foundations and Applications
Author Sidney C. Nogueira, Ciprian Teodorov
Language English
Binding Book - Paperback
Date of issue 2024
Number of pages 210
EAN 9783031781155
Libristo code 46813857
Publishers Springer, Berlin
Weight 347
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Book Paperback
common.buy 14.02 €
World of Aluna #2 PAULA GARCES / Book Paperback
common.buy 7.92 €
Salem's Vengeance Aaron Galvin / Book Paperback
common.buy 13.10 €
Global Responsible Intergenerational Leadership Julia M. Puaschunder / Book Hardback
common.buy 76.52 €
Patience Wins: War in the Works George Manville Fenn / Book Paperback
common.buy 7.71 €
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Book Hardback
common.buy 115.05 €
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Book Hardback
common.buy 117.69 €
Bond and Free, by the Author of 'Caste' Emily Jolly / Book Hardback
common.buy 34.65 €
The Dragon King: An Elemental spin-off novella T. B. Wiese / Book Paperback
common.buy 11.78 €
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Book Paperback
common.buy 25.20 €
Fractional Calculus for Skeptics I West / Book Hardback
common.buy 293.43 €
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Book Paperback
common.buy 15.13 €
Still Life with Timex Elisabeth Murawski / Book Paperback
common.buy 16.35 €
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Book Paperback
common.buy 24.99 €
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Book Hardback
common.buy 33.73 €
Son Philipp Meyer / Book Paperback
common.buy 17.37 €
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Book Paperback
common.buy 15.64 €
Paddling the Ozarks Mike Bezemek / Book Paperback
common.buy 17.27 €
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Book Paperback
common.buy 65.14 €
Berenstain Bears Trick or Treat Jan Berenstain / Book Paperback
common.buy 5.48 €
Plato Plato / Book Paperback
common.buy 45.22 €
Mandarin Aaron Kunin / Book Paperback
common.buy 18.69 €
Learning in a Burning House Sonya Douglass Horsford / Book Paperback
common.buy 38.41 €
Undead Next Door Kerrelyn Sparks / Book Paperback
common.buy 9.54 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account