Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655091
Price: 54.0 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

Língua

Inglês

Livro Capa mole

Código Libristo: 01655091

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembro 2009

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Descrição completa

Código Libristo: 01655091

132 b

54.00 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Das fröhliche Weihnachtsliederheft Renate Bruce-Weber

Partituras

14.35 €

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

Capa mole

6.11 €

Comme un mendiant sur les quais de marbre Penblanc

Capa mole

22.78 €

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

Livro de capa dura

12.74 €

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

Capa mole

41.25 €

Courir David Simpson

Livro de capa dura

30.51 €

Analiza PESTLE Alina Dobre

Capa mole

14.25 €

La hija del Ganges Raluca Mirela Petrescu

Adobe ePub DRM

8.72 €

Conoce Peru Robin Johnson

Livro de capa dura

28.80 €

NoElle et Lui Alban Bourdy

Capa mole

11.43 €

Differentialgeometrie, Topologie und Physik Matthias Delbrück

Livro de capa dura

85.62 €

Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell

Capa mole

16.76 €

Hemisferios

Livro

7.62 €

Todo recto hasta el amanecer. Un giro inesperado Liz Braswell

Capa mole

17.96 €

Pierre des fées du Maroc

binding.

10.03 €

Atrapados: Cómo Liberarse de Conductas Y Personas Tóxicas Andy Farmer

Capa mole

11.13 €

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

Capa mole

32.32 €

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.