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

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

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Lucas Lima
Libristo code: 42074879
Publishers Springer, Berlin, November 2021
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SB... Full description
? points 145 b
60.01 €
117.37  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

El mapa de tu talento Ruiz Bachs / Book Paperback
common.buy 22.25 € 43.51 лв
A siker kézikönyve Robin Sharma / Book Hardback
common.buy 14.16 € 27.69 лв
Amanda and the Lost Time (Punjabi Book for Kids- Gurmukhi) Kidkiddos Books / Book Paperback
common.buy 16.59 € 32.45 лв
Samolepková knížka Dobrodružství s Peppou / Book Book
common.buy 5.44 € 10.64 лв
Dessiner tout de suite et facilement : Le corps humain / Book Paperback
common.buy 23.54 € 46.05 лв
Ozeane Hél?ne Druvert / Book Hardback
common.buy 26.92 € 52.64 лв
Pharmacopee Des Pauvres Ou Formules Des Medicaments Usuels Dans Le Traitement Des Maladies Du Peuple Jadelot-N / Book Paperback
common.buy 20.54 € 40.16 лв
Zonificacion de Amenaza Por Movimientos En Masa Henry Antonio Pacheco Gil / Book Paperback
common.buy 84.08 € 164.44 лв
Persönlichkeitsentwicklung und Identitätsbildung von Zweisprachigen Karoline Gawrzynski / Book Paperback
common.buy 72.46 € 141.72 лв
Morový stĺp sv. Trojice v Kremnici Daniela Bednářová / Book Paperback
common.buy 13.17 € 25.76 лв
Berufswirklichkeit, Berufserziehung Und Facharbeiterausbildung in Der Industrie Und Speziell in Den Eisenverarbeitenden Industriezweigen Joseph Mathieu / Book Paperback
common.buy 56.07 € 109.66 лв

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.

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 Lucas Lima, Vince Molnár
Language English
Binding Book - Paperback
Date of issue 2022
Number of pages 143
EAN 9783031224751
Libristo code 42074879
Publishers Springer, Berlin
Weight 240
Dimensions 155 x 235 x 10

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

Formal Methods for Open Object-Based Distributed Systems Martin Steffen / Book Paperback
common.buy 54.56 € 106.72 лв
Yellow Perils Ross Anthony / Book Paperback
common.buy 34.02 € 66.54 лв
Jeli: Condo For Sale. Dead man not included! MS Mary Jane Forbes / Book Paperback
common.buy 10.32 € 20.18 лв
HOW TO LOSE WEIGHT FAST depending on the secrets of Nature Atheer Jasim Mohammed / Book Paperback
common.buy 34.13 € 66.75 лв
Behind A Mask; Or, A Woman's Power Louisa May Alcott / Book Paperback
common.buy 13.07 € 25.56 лв
Connexion Between Ancient and Modern Romanc William John Courthope / Book Hardback
common.buy 26.97 € 52.74 лв
Sacred Art of Lovingkindness Rami M. Shapiro / Book Hardback
common.buy 20.95 € 40.98 лв
Ritual Dynamics and the Science of Ritual Axel Michaels / Book Hardback
common.buy 159.34 € 311.65 лв
Among the Nootka Gerald Stanley / Book Paperback
common.buy 10.63 € 20.79 лв
Intelligent Information Processing II Qing He / Book Paperback
common.buy 163.18 € 319.16 лв
Various tracts concerning the peerage of Scotland, collected from the public records, original instruments, and authentic manuscripts; to which is ann James Carmichael / Book Paperback
common.buy 17.84 € 34.89 лв
Social Change in Tikopia Raymond Firth / Book Hardback
common.buy 337.42 € 659.93 лв
Airways Smooth Muscle: Modelling the Asthmatic Response In Vivo Mark A. Giembycz / Book Paperback
common.buy 54.56 € 106.72 лв
How to Thrive in the Digital Age Tom Chatfield / Book Paperback
common.buy 15.61 € 30.53 лв
My Weirdtastic School #1: Miss Banks Pulls Lots of Pranks! Jim Paillot / Book Paperback
common.buy 6.27 € 12.27 лв
Logical Foundations of Mathematics and Computational Complexity Pavel Pudlák / Book Hardback
common.buy 195.71 € 382.77 лв

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?