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

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 109 b
15 878 Ft
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 8 671 Ft
Nouvelles Et Galanteries Chinoises Tome 2 De Villedieu-M-C-H / Book Paperback
common.buy 8 086 Ft
Du Cholera-Morbus, Ou de l'Asthenie Des Organes Gastriques BOUMARD-A / Book Paperback
common.buy 5 196 Ft
Barneko Liburua (Fihi Ma Fihi) Rumi / Book Hardback
common.buy 7 690 Ft
Synthese von neuen Ibuprofen-Derivaten Rafea Almajeed / Book Paperback
common.buy 11 381 Ft
DSA4 - Wege der Zauberei (remastered) Anton Weste / Book Paperback
common.buy 19 541 Ft

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 42 484 Ft
Message of the President of the United States and Accompanying Documents, Etc, Volume 1, Part 12 United States War Dept / Book Hardback
common.buy 16 725 Ft
Make Your Own Game Apps - For Kids: Make Your Own Game Apps - For Kids Krishna Balwalli / Book Paperback
common.buy 5 661 Ft
Learning Fractions Using LEGO Bricks: Student Edition Dr Shirley Disseler / Book Paperback
common.buy 6 070 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?