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
ZEdWVE5IWktlRkF6WmtsM1NqVlFSM1E0UWpKTlZrbEJWa3BsVkVGV2F6bFdUMHBYTDJWRVIzZDJTRzByWVUxWFRsTlRNVGhLUldocFEyUmlRMDQ0ZW01QlR6UXZOMHd6Wm1aMEt6TlNXa2x6VWxwS1dEVTRlWHB5TkhKT2NrWktOMk51YzJ4Q1RHTnNiRlZDVDB0MlpqVlJWQ3RLTTBkRlZ5dFdUVFZGYWpjek0zVjVTM014U1ROUU9IVmlRMG81V1V4ak0wRlJhV2d6TVVGb1NITjZNVm8wU0hSRWFEbDFlbmREYVZWU2FEbFNVV05pU0djNVMxSldaWFJoY0ZOSWVVVXJLMDQwUldoMk1qUjFlVlJTUVRkMGIyZElja0YzUmxCV05WbDJZamRwYzNGNVoyZDRhV2RNU1RaV1lpOUxjMHROSzJWTVVWcFNWbGRKTTBwWU5HaFVRVFpWTjJsaFp6RnpZMEV6ZVZGd2RYRnJUaTl0UmpkS2VXWnhOU3R4SzFSckwwSlNZMFYxYTBSMFdIbDZUMFoxTkRCdU5EaFVWazg0Y21KRWJ6bHVaVk4zYzJsTFRUQmhTRVkwYzFCVlNpdHZXVzE0ZUdSbVExUTNaR1ZTYjNBekszUXhNV1IwWWxWMGF6VnVXRVJxYUdkWk9IazNOazFOTDB3MmNuSnRNekJIU0ZRdlZGQjBiMkp4ZUhWaE1VSjFOQzlvVW5KemNXbENWWEF3ZEVGVmF5OWpaSGNyTldzeWEzbFhNMEZETjBsd2RIRnlTVU41Y2pKMVIyaEZiVkpHTXpKQ1dtTnhNa3RFZUZKbFFWVmpaa2M0UWtoQ1ZuQTFiMDFvVEU4NFkxRmFVV1oxT1d4WlFYRklXV1ZLTkV0aVIyeHVValZqYjBsS1EzUjJWR3hWY0hOclpsZFdTQzlIZEZCcFVuSnNURXBJUWtaUE16TkdlV0ZNY2xOd1ZuQk1ha1JDWnpndmNVNTRSSFVyTjNGblFsbE9VM1IwT0hSbE5uSkJRMWRZY1dkSE1GaG5kbGhLYkd3d1dGZFphalJKYkc1S1FWaHhSMUY2TVU5bWMwOVRUVEJTYUhFMVJTODFiMHhHV2xCalJtZG9XVTR2Ykd0SVlsVmlMM051YVZGUFkxbGhjV2RwVFdveVdYTlRSRGxLVUZVM1ZFUTNlblF4ZDFwWVNHOXpUSHBrS3pSNmJtZGhVa0poTkVWTk5qWkxSa1JuVHpKWlVFcEdUR05RZWtWb0swZ3dOM2xsYUZFeVREVjVja3RoVDBobGRUUnhaVkpNWTBGUlluSklNMlpXWVZSd1FuUjFVMEZ1UldWNmJITlhibFl4UW1GVlNHcFpjQzlRWTBoNFIyeHpUV0pHWkVFM1dHRXdWbUpvT1ZSdFJHaHFTV0psZEcxTmFrUmxWVXA2Ym5wb1dWSm1hMEZXV1hwWmVFMXVhamcyU25ZMFZtdHVVMkp3VUV4SmN3PT06bm9TS011OWlyR21jQUNvTU5ORzJvZz09
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
-
Security And Cryptography For Networks10%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
Advances In Neural Networks €“ Isnn 202510%SPRINGER VERLAG, SINGAPORE133,83€
148,70€portes grátis