adicionar à lista de desejos
Software Engineering And Formal Methods
17th International Conference, Sefm 2019, Oslo, Norway, September 18–20, 2019, Proceedings
idioma: inglês
Editor:
Springer Nature Switzerland AG, setembro de 2019 ‧
ver detalhes do produto
60,82€
10% DESCONTO
CARTÃO
YkV0Q2RUUlJOMVV4VDBNdkt5dDZNall4Y0ZaRWJHVklkV1pEYjJKS1JYZ3ZRa1JtVVZwSU5rOW1iMGxPYkRobEwxTnJhSFo2Ym14bU1tOVpZWFk0ZVdKWlNEWktRWE5sUjBwaEsyMTNTSHB4TUVaU1ltOUdWVTVGUm14cFpYSmlSak5KYVdvNVJVSlRWVVE1ZG5STWQzRnJXbmhFU25JeGFXcEtlVWhCTURsb1dIRXpkRWgzVVZOUE1ERklTSGRCYkd4SlZYUlBZazltV21wTVJFRllVMmRYZVd4SVVHTkdaMVJZVVdNeE56UlVVVWg1V1VGVU9WTnhkMmxDTlRsWWNYQkpUMnd2YlVSR2FuUkZOekozTkRnMVNtaEJRV0k0WjBGdEwxSlFabVJFVVRaTWJFVmxOVVp3VTFOT1MwOUdSV2QyZVVKU1UydHVVek4yWkRkTWNqWkdNbmROZW1OWk4zaHZaMWh6THpSVFJVc3dkazlDZFdOd0wyZFRRVzVWYlhwV09VVndWVEp1YzNSbllVZFVVWGhJYmtabGFYTXhLMVkyYlU4eVNVMUJjR05MVmxkTmVpOVZWekZ5WkZGVmExRXZSMjQ0WlRGaU9XVkNkR0pWY25kWVZsUXlLMjgzYUc1SGRHVTBVMkUzVXk5RWMxRjRiR2xaZGl0bEwwWnRaakJGU1d0aFVGTXlVbTkzVG14bFNGaDRiVmhHV1RSeVZXOVdXa1E0YjNCYWMxaHRObEVyU1ZCUlZUVk5MMGRxVDA1S2EzaEhOWHBIVjNwNlVFVjVWRzlpY0RSaFpWQm9VekUyVnpKQ2VtbHFTMWhSVUhkblpYZ3plWGgxU1VFME5taDVWelY1V1hJNU9FOWxLMVJhUmtSNVRXUkNUbXBtTWtKWFdUZERORXhYVEdSaWRtZFlaRk5XWjFOaVNuQk1ZbVk0U1c1YWRYZDNha3RDTW1vMFFXSmFPRlZsVVZSMmFtTm1WRzlSUVhSVEswbElVR1kzV1hwMFpEUkxiMWxpVG5odWRrUkNjazFUUW1aRU4wcHNlV1V4Um05RmRXMHlaVXhqVG5Sa0wyRjViWFJMVmxObFNsSTVMelpPTTFONmVXbHVkR1pJZFRCdmVGZFlNVTVHZG5acFlXMUxRVEkwWmpWb00xSjBTR2gzY1ZKclNsRXJkbEpNYkUxUmFubG5kRlZXT0c1NFN6WXhZbWdyVjFwVkswaFRaRlFyWTAxQ2RDdFBTVkphTjB4U2VHaExOeXRtTVVOUFVtbExSWEJIVURWUk1UUlJRbkVyVUZWaVNHVm1Wekp6TTJGMFozbEpNV042Vm5CbU9YZFpkbXh5YjNkNWVsbENkM0ZDTW1SSEwxVkdjM0JtTVRSMVVGZHZkVXhFY1VkWlkxUnpOM2R4WlVWUEt6TXZkRzlJWlVSSGMwaHFjMDlhTWtaWFJtWTJORVUwWjA1b1kxUlZhRlpGTmtKclV3PT06dVg5M25sajk5ZjkrbzVWcTBDamR6UT09
portes grátis
Venda o seu livro
SINOPSE
The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783030304454 |
| Editor: | Springer Nature Switzerland AG |
| Data de Lançamento: | setembro de 2019 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 550 |
| Tipo de produto: | Livro |
| Coleção: | Lecture Notes In Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9783030304454 |
LIVROS DA MESMA COLEÇÃO
-
10%Security And Cryptography For NetworksSpringer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
Pré-lançamento10%Combinatorial Optimization And ApplicationsSPRINGER VERLAG, SINGAPORE103,41€
114,90€portes grátis