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

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

Up to 30 days for returns

Customers also purchased

Leber und Galle entgiften und stärken Angela Fetzner / Book Hardback
common.buy 19.81 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Book Paperback
common.buy 17.38 €
Objavujeme svet! RODINA neuvedený autor / Book Board book
common.buy 7.37 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Book Paperback
common.buy 23.75 €
Le destin de l'Europe Ivan Krastev / Book Paperback
common.buy 20.52 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Book Hardback
common.buy 25.88 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Book Book
common.buy 17.38 €
Influencia del Señor Buda en Rabindranath Tagore / Book Paperback
common.buy 49.84 €
SPA-RIGBY PM COLECCION Rigby / Book Hardback
common.buy 77.24 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Book Paperback
common.buy 14.45 €
Antony Alexandre Dumas / Book Paperback
common.buy 6.66 €
Noc dlouhých nožů Roman Cílek / Book Paperback
common.buy 5.65 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Book Paperback
common.buy 13.64 €
Paul Lincke Jan Kutscher / Book Hardback
common.buy 44.08 €
Excel 2013 en profundidad María Pérez Marques / Book Paperback
common.buy 40.94 €
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 23.75 €
6 Lieder ohne Worte Felix Mendelssohn Bartholdy / Printed items Sheet music
common.buy 10.00 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Book Paperback
common.buy 53.08 €

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

Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Book Paperback
common.buy 9.80 €
Fix It! Carly Gledhill / Book Board book
common.buy 10.61 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Book Paperback
common.buy 46.30 €
Ostentation Pamelia Barratt / Book Paperback
common.buy 14.75 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Book Paperback
common.buy 12.02 €
Service Design Lavrans Lovlie / Book Paperback
common.buy 57.12 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Book Paperback
common.buy 19.20 €
Coming soon
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Book Paperback
common.buy 21.22 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Book Hardback
common.buy 36.39 €
THE RAINBOW FEATHER FERGUS HUME / Book Hardback
common.buy 33.56 €
Urfspace Chuck Whelon / Book Paperback
common.buy 25.07 €

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?