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

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Formal Methods: Foundations and Applications Simone Cavalheiro
Libristo code: 41044181
Publishers Springer, November 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Full description
? points 181 b
74.58 €
In stock Immediate digital delivery

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

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 Simone Cavalheiro, Jose Fiadeiro
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2017
EAN 9783319708485
Libristo code 41044181
Publishers Springer

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

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?