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

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Christiano Braga
Libristo code: 09155898
Publishers Springer International Publishing AG, January 2015
This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SB... Full description
? points 100 b
41.27 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Book Paperback
common.buy 19.37 €
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Book Book
common.buy 81.54 €
mei guo qi ye da xue de zu zhi xue xi / Book Paperback
common.buy 63.88 €
Tišine Meša Selimović / Book Paperback
common.buy 11.70 €
BJ Alex 05 Mingwa / Book Paperback
common.buy 14.42 €
Radeau Antoine Choplin / Book Paperback
common.buy 8.47 €
Luz en la oscuridad Brittainy Cherry / E-book Adobe ePub DRM
common.buy 7.66 €
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Book Hardback
common.buy 51.77 €
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Printed items Map
common.buy 8.87 €
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiobook MP3
common.buy 6.05 €
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Book Paperback
common.buy 42.68 €
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Book Hardback
common.buy 17.85 €
El pensamiento de Bultmann Xabier Pikaza / Book Paperback
common.buy 19.37 €
Les Grandes Et Petites Miseres de la Vie Le Caveau / Book Paperback
common.buy 17.35 €
Le Pere Goriot Honore De Balzac / Book Paperback
common.buy 10.99 €
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Book Paperback
common.buy 34.00 €
Erdoel A Schneider / Book Paperback
common.buy 6.75 €
Ein paar Schritte an Ihrer Seite Jörg Zink / Book Sheet
common.buy 4.53 €
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 13.72 €
333 Origami - Farbenfeuerwerk: Alcohol Ink / Book Paperback
common.buy 10.28 €
Malbuch fur Erwachsene Coloringcraze / Book Paperback
common.buy 18.56 €
Anna Karenina Tom 1 Lev Tolstoy / Book Paperback
common.buy 19.27 €
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 13.21 €
CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Book binding.
common.buy 19.77 €

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, AL, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests 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 Christiano Braga, Narciso Martí-Oliet
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 179
EAN 9783319150741
ISBN 331915074X
Libristo code 09155898
Publishers Springer International Publishing AG
Weight 2993
Dimensions 155 x 235 x 9

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Clinical Management of Bacterial Pneumonia Antoni Torres / Book Paperback
common.buy 50.45 €
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Book Hardback
common.buy 84.47 €
Fox's Book of Martyrs John Foxe / Book Paperback
common.buy 27.24 €
Emotions: Things We Go Through Terrance L Caldwell Sr / Book Paperback
common.buy 13.01 €
Jews of Iran Houman M. Sarshar / Book Paperback
common.buy 48.84 €
Top
Halo: Ghosts of Onyx Eric Nylund / Book Paperback
common.buy 15.03 €
SEO for Business 2019: Step-by-Step Beginners Guide to Growth using Search Engine Optimization, Google Analytics, Adwords, and other Marketin Alexander Morgan / Book Paperback
common.buy 19.27 €
Companion Animal Behaviour Problems Rachel A Casey / Book Paperback
common.buy 57.12 €
Nanoscale Materials in Water Purification Sabu Thomas / Book Paperback
common.buy 204.57 €
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Book Paperback
common.buy 15.13 €
George Ashby's Poems George Ashby / Book Paperback
common.buy 15.23 €
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Book Paperback
common.buy 12.10 €
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Book Paperback
common.buy 12.10 €
Public Health: A Very Short Introduction Virginia Berridge / Book Paperback
common.buy 10.59 €
Study Guide for Chemistry Theodore E. Brown / Book Paperback
common.buy 153.40 €
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Book Hardback
common.buy 39.15 €
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Book Hardback
common.buy 31.58 €
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Book Paperback
common.buy 19.27 €
Godspeed: A love story Dan Chabot / Book Paperback
common.buy 14.73 €
What's my name? CRISSY Tiina Walsh / Book Paperback
common.buy 14.83 €
London Postcards David Gentleman / Printed items Cards
common.buy 19.47 €
Complex of Upper Palaeolithic Sites Near Moravany, Western Slovakia Archeobooks / Book Paperback
common.buy 41.07 €
Cancer with Hope C. Michael Armstrong / Book Hardback
common.buy 57.32 €
Accidents Of Youth / Book Paperback
common.buy 17.85 €

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?