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

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 136 b
20 034 Ft
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 7 714 Ft
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Book Paperback
common.buy 6 714 Ft
Objavujeme svet! RODINA neuvedený autor / Book Board book
common.buy 2 624 Ft
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Book Paperback
common.buy 9 175 Ft
Le destin de l'Europe Ivan Krastev / Book Paperback
common.buy 7 379 Ft
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Book Hardback
common.buy 10 152 Ft
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Book Book
common.buy 6 258 Ft
Influencia del Señor Buda en Rabindranath Tagore / Book Paperback
common.buy 19 462 Ft
SPA-RIGBY PM COLECCION Rigby / Book Hardback
common.buy 30 037 Ft
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Book Paperback
common.buy 5 634 Ft
Antony Alexandre Dumas / Book Paperback
common.buy 2 568 Ft
Noc dlouhých nožů Roman Cílek / Book Paperback
common.buy 2 038 Ft
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Book Paperback
common.buy 5 253 Ft
Paul Lincke Jan Kutscher / Book Hardback
common.buy 15 786 Ft
Excel 2013 en profundidad María Pérez Marques / Book Paperback
common.buy 14 651 Ft
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 8 482 Ft
6 Lieder ohne Worte Felix Mendelssohn Bartholdy / Printed items Sheet music
common.buy 3 601 Ft
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Book Paperback
common.buy 20 583 Ft

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 3 071 Ft
Fix It! Carly Gledhill / Book Board book
common.buy 4 173 Ft
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Book Paperback
common.buy 17 880 Ft
Ostentation Pamelia Barratt / Book Paperback
common.buy 5 709 Ft
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Book Paperback
common.buy 4 736 Ft
Service Design Lavrans Lovlie / Book Paperback
common.buy 30 925 Ft
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Book Paperback
common.buy 7 570 Ft
Coming soon
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Book Paperback
common.buy 7 570 Ft
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Book Hardback
common.buy 13 986 Ft
THE RAINBOW FEATHER FERGUS HUME / Book Hardback
common.buy 12 911 Ft
Urfspace Chuck Whelon / Book Paperback
common.buy 9 649 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?