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 :-(

FM 2008: Formal Methods

Name: FM 2008: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567668
Price: 54.51 EUR
Availability: InStock
Author: Jorge Cuellar
ISBN: 9783540682356

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Jorge Cuellar

Tom Maibaum

Língua

Inglês

Livro Capa mole

Código Libristo: 01567668

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2008

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Descrição completa

Código Libristo: 01567668

132 b

54.51 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta

Capa mole

13.57 €

Passion,pain & poetry Sabine Seide/Müller

CD de áudio

13.06 €

Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S

Capa mole

12.76 €

La grande escapade Blondel

Capa mole

21.88 €

Телефонна агітація Noe Spies

Adobe ePub DRM

11.54 €

Adventní kalendář 2026 Toy Story

binding.

12.46 €

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.