Check order status

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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655091
Price: 45.49 EUR
Availability: InStock
Author: Marcel Vinícius Medeiros Oliveira
ISBN: 9783642104510

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Medeiros Oliveira

Jim Woodcock

Language

English

Book Paperback

Libristo code: 01655091

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2009

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Full description

Libristo code: 01655091

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Das fröhliche Weihnachtsliederheft Renate Bruce-Weber

Sheet music

16.00 €

Comme un mendiant sur les quais de marbre Penblanc

Paperback

20.29 €

Přerušený klid - Islandská krimi Arnaldur Indridason

Hardback

10.39 €

Conoce Peru Robin Johnson

Hardback

24.59 €

Le système fiscal international : une construction conceptuelle et pragmatique Giard

Paperback

33.29 €

Courir David Simpson

Hardback

26.89 €

Analiza PESTLE Alina Dobre

Paperback

11.79 €

La hija del Ganges Raluca Mirela Petrescu

Adobe ePub DRM

7.39 €

Differentialgeometrie, Topologie und Physik Matthias Delbrück

Hardback

79.99 €

Hemisferios

Book

6.59 €

Pierre des fées du Maroc

binding.

9.39 €

Le Massif Du Mont Blanc (1876) Eugene Emmanuel Viollet-Le-Duc

Paperback

27.49 €

Dokumenty k dějinám ruské a ukrajinské emigrace v Československé republice (1918 - 1939) Ljubov Běloševská

Paperback

5.09 €

Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell

Paperback

17.00 €

NoElle et Lui Alban Bourdy

Paperback

9.49 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.