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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 109 b
15 878 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

mei guo qi ye da xue de zu zhi xue xi / Book Paperback
common.buy 24 737 Ft
What A Success-Scepter And Bell Recordings Allen Toussaint / Audio Audio CD
common.buy 4 961 Ft
Tišine Meša Selimović / Book Paperback
common.buy 4 625 Ft
BJ Alex 05 Mingwa / Book Paperback
common.buy 5 592 Ft
Luz en la oscuridad Brittainy Cherry / E-book Adobe ePub DRM
common.buy 2 729 Ft
Radeau Antoine Choplin / Book Paperback
common.buy 3 019 Ft
Finite Elemente Modelle der Maschinenelemente Klaus Schier / Book Hardback
common.buy 19 951 Ft
Gastronomický a společenský průvodce světem II. Afrika a Asie Vlasta Gregorová / Printed items Map
common.buy 3 139 Ft
Waslene y la madrina del bosque Lauren Kratz Prushko / Audiobook MP3
common.buy 2 131 Ft
Beteiligung von Kindern und Jugendlichen in der Jugendhilfe Manuel Benner / Book Paperback
common.buy 16 536 Ft
El pensamiento de Bultmann Xabier Pikaza / Book Paperback
common.buy 6 844 Ft
Snöfrid aus dem Wiesental - Die ganz und gar abenteuerliche Reise zu den Nebelinseln Andreas H. Schmachtl / Book Hardback
common.buy 5 942 Ft
Les Grandes Et Petites Miseres de la Vie Le Caveau / Book Paperback
common.buy 6 641 Ft
Philosophie des images enigmatiques, ou il est traite des enigmes, hieroglyphes MENESTRIER-C-F / Book Paperback
common.buy 12 946 Ft
Ein paar Schritte an Ihrer Seite Jörg Zink / Book Sheet
common.buy 1 754 Ft
Barfuß ins Glück, 1 Blu-ray Tara Timpone / Video Blu-ray
common.buy 5 256 Ft
Aulas virtuales: formulas y practicas VS G. PADILLA CAST / Book Book
common.buy 28 824 Ft
Nabucodonosor II, rey de Babilonia RUEDA MUÑOZ DE SAN PEDRO / Book Paperback
common.buy 6 816 Ft
Le Pere Goriot Honore De Balzac / Book Paperback
common.buy 4 216 Ft
Malbuch fur Erwachsene Coloringcraze / Book Paperback
common.buy 6 581 Ft
Anna Karenina Tom 1 Lev Tolstoy / Book Paperback
common.buy 7 387 Ft
CARTE DES VINS DE SAINT-EMILION BENOIT FRANCE Book binding.
common.buy 7 019 Ft
333 Origami - Farbenfeuerwerk: Alcohol Ink / Book Paperback
common.buy 3 999 Ft

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 19 426 Ft
Investor Relations and ESG Reporting in a Regulatory Perspective Poul Lykkesfeldt / Book Hardback
common.buy 29 887 Ft
Fox's Book of Martyrs John Foxe / Book Paperback
common.buy 10 447 Ft
Emotions: Things We Go Through Terrance L Caldwell Sr / Book Paperback
common.buy 4 975 Ft
Jews of Iran Houman M. Sarshar / Book Paperback
common.buy 17 296 Ft
Top
Halo: Ghosts of Onyx Eric Nylund / Book Paperback
common.buy 5 836 Ft
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 7 387 Ft
Companion Animal Behaviour Problems Rachel A Casey / Book Paperback
common.buy 21 948 Ft
Nanoscale Materials in Water Purification Sabu Thomas / Book Paperback
common.buy 77 102 Ft
Oxford Reading Tree TreeTops inFact: Oxford Level 18: Revolutionary Robots Ben Hubbard / Book Paperback
common.buy 5 343 Ft
George Ashby's Poems George Ashby / Book Paperback
common.buy 5 896 Ft
Heaven's Art of War, Volume One: Go Archbishop Trevor Greene J C D / Book Paperback
common.buy 4 639 Ft
Joggin' Your Noggin: Fun and Challenging Word Games for Seniors Mary Randolph MS / Book Paperback
common.buy 4 625 Ft
Godspeed: A love story Dan Chabot / Book Paperback
common.buy 5 647 Ft
Study Guide for Chemistry Theodore E. Brown / Book Paperback
common.buy 56 843 Ft
American Pastor in Europe, Ed. by J. Cumming Joseph Cross / Book Hardback
common.buy 14 916 Ft
History of the Wars of New-England with the Eastern Indians Nathaniel Adams / Book Hardback
common.buy 12 040 Ft
Fat Funeral: The Scientific Approach to Long-Term Weight Loss Daniel S. Dell'uomo / Book Paperback
common.buy 7 387 Ft
New Regional Politics of Development A Payne / Book Paperback
common.buy 23 016 Ft
What's my name? CRISSY Tiina Walsh / Book Paperback
common.buy 5 679 Ft
London Postcards David Gentleman / Printed items Cards
common.buy 7 354 Ft
Complex of Upper Palaeolithic Sites Near Moravany, Western Slovakia Archeobooks / Book Paperback
common.buy 14 916 Ft
Cancer with Hope C. Michael Armstrong / Book Hardback
common.buy 20 825 Ft
Accidents Of Youth / Book Paperback
common.buy 6 890 Ft

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?