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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Software Engineering and Formal Methods Radu Calinescu
Código Libristo: 09480142
Editoras Springer International Publishing AG, agosto 2015
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Descrição completa
? points 132 b
54.09 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Zanoni Lytton / Livro Capa mole
common.buy 26.44 €
Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz / Livro Capa mole
common.buy 14.37 €
Eromanga Sensei Tatsuya Takahashi / Vídeo Blu-ray
common.buy 62.43 €
Inselhupfen in Griechenland Gabriele Lackner / Livro Capa mole
common.buy 16.18 €
Saison Anneline Dintilhac / Livro Capa mole
common.buy 14.87 €
CONTRA LA CULTURA LABRUCE / Livro Livro
common.buy 23.02 €
Ambicion Del Ave Fenix Oscar de Benito / Livro Capa mole
common.buy 18.19 €
Buonanotte! Benji Davies / Livro Livro de capa dura
common.buy 15.58 €
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Jogo/brinquedo Puzzle
common.buy 4.72 €
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Livro Capa mole
common.buy 13.97 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

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 Software Engineering and Formal Methods
Autor Radu Calinescu, Bernhard Rumpe
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 369
EAN 9783319229683
ISBN 3319229680
Código Libristo 09480142
Editoras Springer International Publishing AG
Peso 5796
Dimensões 155 x 235 x 23

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
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 > Ciência informática > Arquitetura informática e conceção lógica
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

Blood Land A Karmic Journey J. D. Ash / Livro Livro de capa dura
common.buy 25.83 €
Elements of Brakigraphy John Thomas Porter / Livro Capa mole
common.buy 12.36 €
Fichte's Ethics Michelle (Cornell University) Kosch / Livro Livro de capa dura
common.buy 114.72 €
Apostolic Ministry and Authority DANIEL JUSTER / Livro Capa mole
common.buy 10.75 €
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Livro Capa mole
common.buy 13.97 €
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Livro Capa mole
common.buy 41.42 €
Timid Devney Perry / Livro Capa mole
common.buy 18.29 €
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Livro Capa mole
common.buy 25.23 €
Headhunters Mark Dawson / Livro Capa mole
common.buy 16.58 €
Priestly Ministry and the People of God Richard Lennan / Livro Capa mole
common.buy 23.02 €
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Livro Capa mole
common.buy 17.89 €
Wolf on the High Sea Renee Hewett / Livro Capa mole
common.buy 11.65 €
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Livro Capa mole
common.buy 5.62 €
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Audiolivro MP3
common.buy 13.46 €
Principal
The Satanic Rituals Anton Szandor Lavey / Livro Capa mole
common.buy 8.34 €
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Livro Livro de capa dura
common.buy 175.46 €
Boomeritis Ken Wilber / Livro Capa mole
common.buy 28.15 €
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Livro Capa mole
common.buy 24.02 €
Principal
Walking and Trekking on Corfu Gillian Price / Livro Capa mole
common.buy 20.20 €
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Livro Livro de capa dura
common.buy 79.03 €
Disruptive Behavior Disorders Frank M. Gresham / Livro Capa mole
common.buy 45.64 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?