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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Língua InglêsInglês
Livro Capa mole
Livro Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Tiziana Margaria
Código Libristo: 46539685
Editoras Springer, Berlin, novembro 2023
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Descrição completa
? points 165 b
67.97 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Familie und Beruf. Vereinbarkeit von Elternzeit und Fuhrungspositionen fur Manner in mittelstandischen Unternehmen Anja Landvoigt / Livro Capa mole
common.buy 25.04 €
Les Misérables Part 1; Volume II Anonymous / Livro Capa mole
common.buy 23.73 €
Tí, čo odchádzajú – tí, čo zostávajú Elena Ferrante / Livro Livro de capa dura
common.buy 22.82 €
Na lavici obžalovaných Mikuláš Černák / Livro Livro de capa dura
common.buy 14.03 €
Em breve
Základka a ďalšie katastrofy 1 - Najhoršia spolubývajúca Wanda Coven / Livro Livro de capa dura
common.buy 12.62 €

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

 

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 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Autor Tiziana Margaria, Bernhard Steffen
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2024
Número de páginas 330
EAN 9783031753862
Código Libristo 46539685
Editoras Springer, Berlin
Peso 523
Dimensões 155 x 235

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
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

Model Driven Engineering and Ontology Development Dragan Ga evic / Livro Capa mole
common.buy 102.82 €
History of the Moors of Spain M. Florian / Livro Capa mole
common.buy 13.53 €
Eton Abuses Considered Unknown Author / Livro Capa mole
common.buy 10.50 €
Judges and Ruth Barry Webb / Livro Livro de capa dura
common.buy 53.22 €
Michelangelo's World J. Patrick Lewis / Livro Livro de capa dura
common.buy 15.75 €
Spikenard -A Woman Anoints Jesus's Feet - Did She Use the Spikenard of Aromatherapy?: Nardostachys Jatamansi - An Essential Oil and Medicinal Plant fo Mrs Elizabeth Ashley / Livro Capa mole
common.buy 19.99 €
Turning Point Danielle Steel / Livro Capa mole
common.buy 7.87 €
Principal
Vertical Ascent WOLFGANG SMITH / Livro Capa mole
common.buy 14.74 €
To the Ends of the Earth Richard Weller / Livro Livro de capa dura
common.buy 28.58 €

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?