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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 171 b
70.75 €
138.37  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Book Paperback
common.buy 17.55 € 34.33 лв
MIGUEL FISAC ASENSIO WANDOSELL / Book Book
common.buy 26.88 € 52.57 лв
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Book Paperback
common.buy 29.73 € 58.14 лв
Top
Jaroslav Velc V oblacích Ondřej Neff / Book Hardback
common.buy 84.63 € 165.52 лв
Co se tenkrát nemohlo napsat Jiří Haleš / Book Hardback
common.buy 14.19 € 27.75 лв
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Book Paperback
common.buy 20.61 € 40.31 лв
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Book Paperback
common.buy 20.92 € 40.92 лв
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Book Paperback
common.buy 32.68 € 63.91 лв
Opowiastki do przemyślenia Bucay Jorge / Book Hardback
common.buy 13.36 € 26.13 лв
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Book Book
common.buy 47.91 € 93.70 лв
Top
Desert Habitat / Game/Toy Toy
common.buy 17.66 € 34.53 лв
Affordable
Přesedni na můj vůz Květa Monhartová / Book Paperback
common.buy 0.62 € 1.21 лв
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Book Paperback
common.buy 17.14 € 33.52 лв
Deutsche Sicherheitsstrukturen im 21. Jahrhundert. Streitbare Demokratie und ihre institutionelle Umsetzung durch den Verfassungsschutz Lars Normann / Book Paperback
common.buy 45.37 € 88.73 лв
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Book Paperback
common.buy 14.39 € 28.15 лв
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Book Paperback
common.buy 25.32 € 49.53 лв
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Book Hardback
common.buy 54.28 € 106.16 лв
Libertarianizm Krytyka Tomasz Teluk / Book Paperback
common.buy 8.39 € 16.40 лв
Tantra : el camino de la aceptación Osho / Book Paperback
common.buy 17.35 € 33.93 лв
Proverbes créoles Volume 6 Pancho / Book Paperback
common.buy 11.91 € 23.29 лв
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Book Paperback
common.buy 39.00 € 76.27 лв
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Book Paperback
common.buy 28.38 € 55.50 лв
Skvělý ScrumMaster Zuzana Šochová / Book Paperback
common.buy 15.33 € 29.98 лв
Que Vuelvan Las Vacas Locas! Carles Arbat / Book Paperback
common.buy 25.58 € 50.03 лв

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

Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Book Hardback
common.buy 119.90 € 234.51 лв
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Book Paperback
common.buy 26.41 € 51.66 лв
Still Life with Timex Elisabeth Murawski / Book Paperback
common.buy 17.19 € 33.62 лв
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Book Paperback
common.buy 15.84 € 30.99 лв
Fractional Calculus for Skeptics I West / Book Hardback
common.buy 292.49 € 572.06 лв
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Book Paperback
common.buy 25.06 € 49.02 лв
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Book Hardback
common.buy 33.61 € 65.74 лв
Bond and Free, by the Author of 'Caste' Emily Jolly / Book Hardback
common.buy 34.49 € 67.46 лв
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Book Hardback
common.buy 117.31 € 229.45 лв
War of the Bloods in My Veins Dashaun "Jiwe" Morris / Book Paperback
common.buy 13.98 € 27.34 лв
Top
English Vocabulary in Use Pre-intermediate and Intermediate Book with Answers and Enhanced eBook REDMAN STUART / Book Paperback
common.buy 26.88 € 52.57 лв
Patience Wins: War in the Works George Manville Fenn / Book Paperback
common.buy 7.66 € 14.98 лв
Global Responsible Intergenerational Leadership Julia M. Puaschunder / Book Hardback
common.buy 76.29 € 149.21 лв
Salem's Vengeance Aaron Galvin / Book Paperback
common.buy 13.10 € 25.62 лв
World of Aluna #2 PAULA GARCES / Book Paperback
common.buy 7.92 € 15.49 лв
The Dragon King: An Elemental spin-off novella T. B. Wiese / Book Paperback
common.buy 11.80 € 23.09 лв
Plato Plato / Book Paperback
common.buy 47.75 € 93.39 лв
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Book Paperback
common.buy 54.48 € 106.56 лв
Mrs Bradshaw's Handbook Terry Pratchett / Book Hardback
common.buy 19.26 € 37.68 лв
Undead Next Door Kerrelyn Sparks / Book Paperback
common.buy 9.94 € 19.44 лв
Top
Spitfire Manual 1940 Dilip Sarkar / Book Paperback
common.buy 11.49 € 22.48 лв
Learning in a Burning House Sonya Douglass Horsford / Book Paperback
common.buy 39.98 € 78.20 лв
Mandarin Aaron Kunin / Book Paperback
common.buy 19.68 € 38.49 лв
Berenstain Bears Trick or Treat Jan Berenstain / Book Paperback
common.buy 5.49 € 10.73 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?