Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods and Software Engineering Shaoying Liu
Código Libristo: 01570773
Editoras Springer, Berlin, novembro 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Descrição completa
? points 122 b
50.63 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Programmieren Lernen Peter Pepper / Livro Capa mole
common.buy 42.12 €
Grenzen, Nähe, Respekt Jesper Juul / Livro Capa mole
common.buy 10.42 €
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Livro Capa mole
common.buy 62.89 €
Richterrecht und Verfassung. Jörn Ipsen / Livro Capa mole
common.buy 54.58 €
Herrschaft Susanne Held / Livro Livro de capa dura
common.buy 20.75 €
matrimonio nel diritto ebraico Daniele Zaccheddu / Livro Capa mole
common.buy 29.06 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods and Software Engineering
Autor Shaoying Liu, Tom Maibaum, Keijiro Araki
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2008
Número de páginas 397
EAN 9783540881933
ISBN 354088193X
Código Libristo 01570773
Editoras Springer, Berlin
Peso 635
Dimensões 155 x 235 x 21

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Sistemas operativos
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

NUMIFORM 2010 Frederic Barlat / Livro Capa mole
common.buy 421.53 €
Microelectronics Education Ton J. Mouthaan / Livro Livro de capa dura
common.buy 88.41 €
Horror Before It Was Cool Weasel Press / Livro Capa mole
common.buy 6.88 €
Lives Of Scottish Authors (1801) David Irving / Livro Capa mole
common.buy 20.55 €
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Livro Capa mole
common.buy 7.28 €
Embracing and Educating the Autistic Child Nicholas D. Young / Livro Capa mole
common.buy 35.03 €
I Love You God Amal Ishraim / Livro Capa mole
common.buy 8.19 €
Essay Towards an Easy and Useful System of Logic Robert Blakey / Livro Livro de capa dura
common.buy 27.84 €
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Livro Capa mole
common.buy 5.66 €
So Far, So Goude Jean-Paul Goude / Livro Livro de capa dura
common.buy 92.56 €
Principal
Yacoubian Building Alaa Al Aswany / Livro Capa mole
common.buy 9.41 €
Orienting Polymers J.-L. Ericksen / Livro Capa mole
common.buy 23.18 €
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Livro Capa mole
common.buy 132.47 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo