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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Leila Ribeiro
Libristo code: 15195023
Publishers Springer International Publishing AG, November 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

SPA-RIGBY PM COLECCION Rigby / Book Hardback
common.buy 80.69 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Book Paperback
common.buy 14.19 €
Leber und Galle entgiften und stärken Angela Fetzner / Book Hardback
common.buy 21.99 €
Objavujeme svet! RODINA neuvedený autor / Book Board book
common.buy 7.79 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Book Paperback
common.buy 24.69 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Book Hardback
common.buy 29.99 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Book Book
common.buy 18.09 €
Influencia del Señor Buda en Rabindranath Tagore / Book Paperback
common.buy 52.19 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Book Paperback
common.buy 15.95 €
Antony Alexandre Dumas / Book Paperback
common.buy 6.89 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Book Paperback
common.buy 18.09 €
Noc dlouhých nožů Roman Cílek / Book Paperback
common.buy 5.99 €
Paul Lincke Jan Kutscher / Book Hardback
common.buy 45.59 €
Excel 2013 en profundidad María Pérez Marques / Book Paperback
common.buy 42.09 €
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Book Paperback
common.buy 24.59 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Book Paperback
common.buy 55.29 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

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 Leila Ribeiro, Thierry Lecomte
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 253
EAN 9783319498140
ISBN 3319498142
Libristo code 15195023
Publishers Springer International Publishing AG
Weight 4044
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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

Top
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Book Paperback
common.buy 10.09 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Book Paperback
common.buy 48.09 €
Ostentation Pamelia Barratt / Book Paperback
common.buy 15.39 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Book Paperback
common.buy 12.69 €
Urfspace Chuck Whelon / Book Paperback
common.buy 25.99 €
Coming soon
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Book Paperback
common.buy 22.39 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Book Paperback
common.buy 20.29 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Book Hardback
common.buy 37.69 €
THE RAINBOW FEATHER FERGUS HUME / Book Hardback
common.buy 34.79 €

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?