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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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
67.06 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Strukturwandel der Öffentlichkeit Jürgen Habermas / Book Paperback
common.buy 19.72 €
Web-Kommunikation MIT Opensource Claus Möbus / Book Hardback
common.buy 47.23 €
Dämmersee Ulrike Brauns / Book Paperback
common.buy 14.46 €
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Book Paperback
common.buy 14.35 €
Mütter Europas Karin Bojs / Book Hardback
common.buy 26.70 €
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Book Hardback
common.buy 10.00 €
Il riassorbimento radicolare: Una revisione Parul Bansal / Book Paperback
common.buy 44.50 €
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Book Paperback
common.buy 53.10 €
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Book Paperback
common.buy 37.92 €
Oliva Denaro Viola Ardone / Book Paperback
common.buy 30.84 €
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Book Paperback
common.buy 31.55 €
ITURBIDE DE MEXICO SPENCE ROBERTSON / Book Book
common.buy 28.31 €
Un écologiste ne devrait pas dire cela Lesaffre / Book Paperback
common.buy 15.37 €
5 WALTZES PIANO MUZIO CLEMENTI Book binding.
common.buy 24.77 €
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Book binding.
common.buy 44.40 €
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Book Hardback
common.buy 22.35 €
Le Raisonnement de l'ours Vincent Descombes / Book Paperback
common.buy 31.05 €
Aktfotografie Hannes Caspar / Book Hardback
common.buy 37.72 €
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.86 €
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Book Paperback
common.buy 23.96 €

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 205.74 €
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Book Hardback
common.buy 169.73 €
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Book Paperback
common.buy 49.86 €
Move Up the Mountain JOYCE SOUTH BENNETT / Book Paperback
common.buy 19.31 €
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Book Paperback
common.buy 9.40 €
Journey to Mars: Blood is Forever Tim Conley / Book Paperback
common.buy 8.59 €
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Book Paperback
common.buy 13.04 €
Childhood Regained: Canadian Schools Edition Jodie Renner / Book Paperback
common.buy 15.77 €
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Book Paperback
common.buy 16.68 €
Fluffy's Outdoor Adventure Shaley M Elle / Book Paperback
common.buy 7.17 €
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Book Paperback
common.buy 19.31 €
Frankie Finds A Friend Paula-Michelle Trotter / Book Paperback
common.buy 10.31 €
Activating God's Power in Tyler Michelle Leslie / Book Paperback
common.buy 10.31 €
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Book Hardback
common.buy 51.68 €
Man-made Famine in the Ukraine Robert Conquest / Book Paperback
common.buy 9.90 €
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Book Paperback
common.buy 48.04 €
Living in the World Ronald C. Jantz / Book Hardback
common.buy 37.11 €
Marx in Paris, 1871 Olivier Besancenot / Book Hardback
common.buy 37.01 €
Animal Crossing Helmer Lud / Book Paperback
common.buy 12.13 €
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-book Adobe ePub DRM
common.buy 106.71 €
Healthy, My Way Nguyen / Book Hardback
common.buy 24.98 €
Nurse's Drug Guide 2024 Shields / Book Paperback
common.buy 88.30 €
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Book Paperback
common.buy 68.78 €
Bespelled Laura Thalassa / Book Paperback
common.buy 10.81 €

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?