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

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Márcio Cornélio
Libristo code: 02893181
Publishers Springer International Publishing AG, January 2016
This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods,... Full description
? points 100 b
41.27 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Orkus - Reise zu den Toten Gerhard Roth / Book Paperback
common.buy 22.40 €
Nouvelles Et Galanteries Chinoises Tome 2 De Villedieu-M-C-H / Book Paperback
common.buy 21.18 €
Du Cholera-Morbus, Ou de l'Asthenie Des Organes Gastriques BOUMARD-A / Book Paperback
common.buy 13.62 €
Barneko Liburua (Fihi Ma Fihi) Rumi / Book Hardback
common.buy 21.69 €
Synthese von neuen Ibuprofen-Derivaten Rafea Almajeed / Book Paperback
common.buy 29.36 €
DSA4 - Wege der Zauberei (remastered) Anton Weste / Book Paperback
common.buy 50.15 €

This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods, SBMF 2015, which took place in Belo Horizonte, MG, Brazil,§in September 2015.§§The 11 papers presented in this volume were carefully reviewed and selected§from 25 submissions. They were organized in topical sections named: model§checking; languages and semantics; refinement and verification; testing and§evaluation.§

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 Márcio Cornélio, Bill Roscoe
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 195
EAN 9783319294728
ISBN 3319294725
Libristo code 02893181
Publishers Springer International Publishing AG
Weight 3343
Dimensions 155 x 235 x 10

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
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

Practising Interdisciplinarity Nico Stehr / Book Hardback
common.buy 111.92 €
Message of the President of the United States and Accompanying Documents, Etc, Volume 1, Part 12 United States War Dept / Book Hardback
common.buy 43.79 €
Make Your Own Game Apps - For Kids: Make Your Own Game Apps - For Kids Krishna Balwalli / Book Paperback
common.buy 14.83 €
Learning Fractions Using LEGO Bricks: Student Edition Dr Shirley Disseler / Book Paperback
common.buy 15.84 €

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