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

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Simone Cavalheiro
Libristo code: 18312709
Publishers Springer International Publishing AG, November 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Full description
? points 171 b
70.46 €
137.80  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Book Paperback
common.buy 55.76 € 109.05 лв
Mütter Europas Karin Bojs / Book Hardback
common.buy 24.65 € 48.21 лв
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Book Hardback
common.buy 10.78 € 21.08 лв
Il riassorbimento radicolare: Una revisione Parul Bansal / Book Paperback
common.buy 46.99 € 91.90 лв
Le Raisonnement de l'ours Vincent Descombes / Book Paperback
common.buy 31.31 € 61.23 лв
Web-Kommunikation MIT Opensource Claus Möbus / Book Hardback
common.buy 49.72 € 97.24 лв
Strukturwandel der Öffentlichkeit Jürgen Habermas / Book Paperback
common.buy 20.89 € 40.85 лв
Dämmersee Ulrike Brauns / Book Paperback
common.buy 15.26 € 29.85 лв
Top
Oliva Denaro Viola Ardone / Book Paperback
common.buy 22.33 € 43.67 лв
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Book Paperback
common.buy 32.70 € 63.95 лв
ITURBIDE DE MEXICO SPENCE ROBERTSON / Book Book
common.buy 29.45 € 57.60 лв
Un écologiste ne devrait pas dire cela Lesaffre / Book Paperback
common.buy 16.19 € 31.67 лв
5 WALTZES PIANO MUZIO CLEMENTI Book binding.
common.buy 24.81 € 48.52 лв
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Book binding.
common.buy 45.23 € 88.47 лв
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Book Hardback
common.buy 22.28 € 43.57 лв
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Book Paperback
common.buy 14.85 € 29.05 лв
Aktfotografie Hannes Caspar / Book Hardback
common.buy 39.77 € 77.77 лв
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Book Paperback
common.buy 24.86 € 48.62 лв
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Book Paperback
common.buy 14.80 € 28.94 лв
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Book Paperback
common.buy 38.53 € 75.35 лв
Das Café im Süden der Stadt Wolfgang Lager / Book Paperback
common.buy 10.83 € 21.18 лв

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

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 Simone Cavalheiro, José Fiadeiro
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 305
EAN 9783319708478
ISBN 3319708473
Libristo code 18312709
Publishers Springer International Publishing AG
Weight 4803
Dimensions 155 x 235 x 18

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Green Technologies and Environmental Sustainability Sanjeev Kumar / Book Paperback
common.buy 216.23 € 422.91 лв
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Book Paperback
common.buy 47.92 € 93.71 лв
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Book Paperback
common.buy 52.61 € 102.89 лв
Move Up the Mountain JOYCE SOUTH BENNETT / Book Paperback
common.buy 19.24 € 37.62 лв
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Book Paperback
common.buy 9.38 € 18.35 лв
Journey to Mars: Blood is Forever Tim Conley / Book Paperback
common.buy 8.51 € 16.64 лв
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Book Paperback
common.buy 12.99 € 25.41 лв
Odessa Charles King / Book Paperback
common.buy 17.17 € 33.59 лв
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Book Paperback
common.buy 16.60 € 32.48 лв
Fluffy's Outdoor Adventure Shaley M Elle / Book Paperback
common.buy 7.16 € 14.01 лв
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Book Paperback
common.buy 19.24 € 37.62 лв
Frankie Finds A Friend Paula-Michelle Trotter / Book Paperback
common.buy 10.31 € 20.17 лв
Activating God's Power in Tyler Michelle Leslie / Book Paperback
common.buy 10.31 € 20.17 лв
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Book Hardback
common.buy 178.68 € 349.46 лв
Man-made Famine in the Ukraine Robert Conquest / Book Paperback
common.buy 9.90 € 19.36 лв
Childhood Regained: Canadian Schools Edition Jodie Renner / Book Paperback
common.buy 17.12 € 33.48 лв
BABADADA, Eesti keel - British English, piltsonastik - visual dictionary Babadada Gmbh / Book Paperback
common.buy 28.26 € 55.28 лв
Living in the World Ronald C. Jantz / Book Hardback
common.buy 37.03 € 72.43 лв
Marx in Paris, 1871 Olivier Besancenot / Book Hardback
common.buy 36.98 € 72.33 лв
Complete France FC 1904-2020 Dirk Karsdorp / Book Paperback
common.buy 24.75 € 48.42 лв
Animal Crossing Helmer Lud / Book Paperback
common.buy 12.12 € 23.70 лв
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-book Adobe ePub DRM
common.buy 111.67 € 218.41 лв
Healthy, My Way Nguyen / Book Hardback
common.buy 24.91 € 48.72 лв
Run Blake Crouch / Book Paperback
common.buy 17.02 € 33.28 лв

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?