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 and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555926
Price: 108.58 EUR
Availability: InStock
Author: Chris George
ISBN: 9783540000297

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Chris George

Huaikou Miao

Língua

Inglês

Livro Capa mole

Código Libristo: 01555926

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2002

This book constitutes the refereed proceedings of the 4th International Conference on Formal Enginee... Descrição completa

Código Libristo: 01555926

263 b

108.58 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Geschichte Der Gewerbe C. G. Rehlen

Capa mole

26.91 €

L'Òscar i el drac afamat Krause

Livro de capa dura

15.37 €

Spektrum Psychologie - Kann die Persönlichkeit krank machen? Spektrum der Wissenschaft

Capa mole

7.78 €

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002.§The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.