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.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
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 162 b
66.64 €
130.33  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Dämmersee Ulrike Brauns / Book Paperback
common.buy 15.20 € 29.74 лв
Web-Kommunikation MIT Opensource Claus Möbus / Book Hardback
common.buy 49.53 € 96.87 лв
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Book Paperback
common.buy 55.59 € 108.73 лв
Mütter Europas Karin Bojs / Book Hardback
common.buy 24.56 € 48.03 лв
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Book Hardback
common.buy 10.48 € 20.49 лв
Il riassorbimento radicolare: Una revisione Parul Bansal / Book Paperback
common.buy 44.23 € 86.52 лв
Le Raisonnement de l'ours Vincent Descombes / Book Paperback
common.buy 30.98 € 60.59 лв
Elementarz czterolatka. Montessori Zuzanna Osuchowska / Book Paperback
common.buy 4.21 € 8.23 лв
Auerbach contro Bachtin. Il serio, il comico e la teoria del romanzo Marco Fontana / Book Paperback
common.buy 26.76 € 52.35 лв
Strukturwandel der Öffentlichkeit Jürgen Habermas / Book Paperback
common.buy 24.71 € 48.33 лв
Oliva Denaro Viola Ardone / Book Paperback
common.buy 22.24 € 43.50 лв
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Book Paperback
common.buy 32.52 € 63.60 лв
ITURBIDE DE MEXICO SPENCE ROBERTSON / Book Book
common.buy 29.28 € 57.27 лв
Un écologiste ne devrait pas dire cela Lesaffre / Book Paperback
common.buy 15.26 € 29.84 лв
5 WALTZES PIANO MUZIO CLEMENTI Book binding.
common.buy 24.86 € 48.63 лв
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Book binding.
common.buy 44.85 € 87.72 лв
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Book Hardback
common.buy 21.99 € 43.00 лв
Das Café im Süden der Stadt Wolfgang Lager / Book Paperback
common.buy 10.79 € 21.10 лв
Aktfotografie Hannes Caspar / Book Hardback
common.buy 39.61 € 77.47 лв
Top
Stoljece Srbijanskoga Terora 1918. - 2018. Nenad Piskač / Book Paperback
common.buy 13.10 € 25.62 лв
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Book Paperback
common.buy 24.66 € 48.23 лв
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 15.10 € 29.54 лв
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Book Paperback
common.buy 38.17 € 74.66 лв
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Book Paperback
common.buy 14.74 € 28.83 лв

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 204.34 € 399.66 лв
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Book Paperback
common.buy 49.06 € 95.96 лв
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Book Paperback
common.buy 49.53 € 96.87 лв
Move Up the Mountain JOYCE SOUTH BENNETT / Book Paperback
common.buy 19.73 € 38.58 лв
Journey to Mars: Blood is Forever Tim Conley / Book Paperback
common.buy 8.68 € 16.97 лв
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Book Paperback
common.buy 13.20 € 25.82 лв
Childhood Regained: Canadian Schools Edition Jodie Renner / Book Paperback
common.buy 16.44 € 32.16 лв
Odessa Charles King / Book Paperback
common.buy 19.67 € 38.48 лв
Fluffy's Outdoor Adventure Shaley M Elle / Book Paperback
common.buy 7.29 € 14.26 лв
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Book Paperback
common.buy 19.67 € 38.48 лв
Frankie Finds A Friend Paula-Michelle Trotter / Book Paperback
common.buy 10.53 € 20.59 лв
Activating God's Power in Tyler Michelle Leslie / Book Paperback
common.buy 10.53 € 20.59 лв
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Book Hardback
common.buy 179.03 € 350.15 лв
Man-made Famine in the Ukraine Robert Conquest / Book Paperback
common.buy 10.12 € 19.79 лв
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Book Paperback
common.buy 16.95 € 33.15 лв
BABADADA, Eesti keel - British English, piltsonastik - visual dictionary Babadada Gmbh / Book Paperback
common.buy 28.92 € 56.57 лв
Anatomy Of The Indian Elephant (1878) Louis Compton Miall / Book Paperback
common.buy 21.63 € 42.30 лв
Living in the World Ronald C. Jantz / Book Hardback
common.buy 37.86 € 74.05 лв
Marx in Paris, 1871 Olivier Besancenot / Book Hardback
common.buy 37.14 € 72.65 лв
Complete France FC 1904-2020 Dirk Karsdorp / Book Paperback
common.buy 23.32 € 45.61 лв
Animal Crossing Helmer Lud / Book Paperback
common.buy 12.38 € 24.21 лв
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-book Adobe ePub DRM
common.buy 115.35 € 225.60 лв
Top
Healthy, My Way Nguyen / Book Hardback
common.buy 25.48 € 49.84 лв
Run Blake Crouch / Book Paperback
common.buy 15.87 € 31.04 лв

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?