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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods: Foundations and Applications

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Rohit Gheyi
Libristo code: 01662107
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Full description
? points 115 b
47.50 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Handbuch Der Ziehtechnik Walter Sellin / Book Paperback
common.buy 53.06 €
Top
Petrolejové lampy Jaroslav Havlíček / Book Paperback
common.buy 5.35 €
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Game/Toy Game
common.buy 22.13 €
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Book Paperback
common.buy 14.85 €
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Book Paperback
common.buy 33.15 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Book Paperback
common.buy 49.93 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Book Paperback
common.buy 15.76 €
Sindicatos, trade-unions y corporaciones Georges Renard / Book Paperback
common.buy 33.55 €
Der Vertrag von Lissabon Waldemar Hummer / Book Paperback
common.buy 105.94 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Book Paperback
common.buy 105.94 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Book Paperback
common.buy 126.86 €

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Rohit Gheyi, David Naumann
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 227
EAN 9783642332951
ISBN 3642332951
Libristo code 01662107
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 373
Dimensions 155 x 235 x 14

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

Hard Bop David H. Rosenthal / Book Paperback
common.buy 24.76 €
BERSERK OF GLUTTONY V10 V10 / Book Paperback
common.buy 12.83 €
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Book Hardback
common.buy 50.54 €
Affordable
Salmon Mark Kurlansky / Book Hardback
common.buy 14.85 €
Pollyanna Eleanor H Porter / Book Paperback
common.buy 9.90 €
Social Communication in Advertising Leiss / Book Paperback
common.buy 82.48 €
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Book Paperback
common.buy 11.92 €
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Book Paperback
common.buy 6.56 €
Essential Nursing Care for Children and Young People Chris Thurston / Book Hardback
common.buy 261.82 €
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Book Hardback
common.buy 83.60 €
Freshwater Fishing Tips and Techniques Gene Kugach / Book Paperback
common.buy 17.18 €
Aesthetics and the Theory of Criticism Arnold Isenberg / Book Paperback
common.buy 43.46 €
Contact with Chaos Michael Z Williamson / Book Hardback
common.buy 22.33 €
Journeying Wave Richmal Crompton / Book Hardback
common.buy 23.85 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Book Hardback
common.buy 18.69 €
Ballad And The Source Rosamond Lehmann / Book Paperback
common.buy 31.43 €
People's Platform Astra Taylor / Book Paperback
common.buy 14.85 €
Planning After Petroleum Jago Dodson / Book Hardback
common.buy 203.39 €
Dark Ages and the Age of Gold Russell A. Fraser / Book Hardback
common.buy 212.79 €
American History: A Very Short Introduction Paul S Boyer / Book Paperback
common.buy 10.40 €
Interfacing PIC Microcontrollers Martin Bates / Book Paperback
common.buy 46.70 €
Intercultural Issues in Online Communication Verena Wiedmaier / Book Paperback
common.buy 51.65 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Book Paperback
common.buy 154.26 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Book Paperback
common.buy 102.90 €

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?