0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Paperback) Loot Price: R1,399 Discovery Miles 13 990

This item is a special order that could take a long time to obtain.

Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August...
Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August...

Share your images

Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Paperback)

Marcel Vinicius Medeiros Oliveira; Edited by James Woodcock

Series: Lecture Notes in Computer Science / Programming and Software Engineering, v. 5902

 (sign in to rate)
Loot Price R1,399 Discovery Miles 13 990

Bookmark and Share

Our supplier does not have stock of this product at present, but we can create a special order for you. Alternatively, if you add it to your wishlist we will send you an email message should it become available from stock. Special orders from this supplier are normally fulfilled within 31 - 41 working days. Please note:

  • Special order items cannot be combined on an order with other items.
  • Special orders can sometimes take significantly longer than this estimate and sometimes our suppliers may be unable to fill a special order.
  • We cannot accept returns of special order titles.
  • If we haven't been able to get the product for you within about 3 months, we will automatically cancel the order and fully refund any payments that you have made.

New to special orders? Find out more.

This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ]ning (University of Oxford). The symposium was accompanied by two short courses: - Introduction to Software Testing, given by Marci o Eduardo Delamaro (U- versity of Sao Paulo) - Formal Models for Automatic Test Case Generation, given by Patr ?cia Machado and Wilkerson Andrade (Federal University of Campina Grande) This year, the SBMF symposium had a special section on the Grand Ch- lenge in Veri?ed Software, inspired by recent advances in theory and tool s- port. WorkonthegrandchallengestartedwiththecreationofaVeri?edSoftware Repository with two principal aims: - To collect a set of veri?ed software components - To conduct a series of industrial-scale veri?cation experiments with theor- ical signi?cance and impact on tool-support This special session on the grand challenge was dedicated to two pilot projects currently underway: - The Flash File Store. The challenge is to verify the correctness of a fau- tolerant, POSIX-compliant?lestoreimplemented on?ashmemory. Veri?- tion issues include dependability guarantees as well as software correctness. Levels of abstractioninclude requirements speci?cation, software design, - ecutable code, device drivers, and ?ash translationlayers. The challenge was inspired by the requirements for forthcoming NASA space missions. - FreeRTOS."

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science / Programming and Software Engineering, v. 5902
Release date: November 2009
First published: 2009
Volume editors: Marcel Vinicius Medeiros Oliveira
Editors: James Woodcock
Dimensions: 235 x 155 x 20mm (L x W x T)
Format: Paperback
Pages: 361
ISBN-13: 978-3-642-10451-0
Barcode: 9783642104510
Categories: Promotions
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Programming languages
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Computer programming > Software engineering
LSN: 3-642-10451-7

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners