adicionar à lista de desejos
Software Engineering And Formal Methods
17th International Conference, Sefm 2019, Oslo, Norway, September 18–20, 2019, Proceedings
language: english
Publisher:
Springer Nature Switzerland AG, September of 2019 ‧
see product details
60,82€
10% OFF
CARD
YnpFNVRUVm1NM1ZsVWtaQ1FWbEJVWFZ3TWpabWNsTXJWVGsxZUdJMGJsVkVTMjkxUmxZeU9XOVhSR1ptV1VKaFlqbHFXRGhUTjFGQmEwb3lORzlOSzNsWmExZ3JlRFJWTUdwc1RGVnJORkJxTVZnMFpVTjRSRzlvUlhneGNXWmtjbmRsTW1VeU5WSXhUa0Y0YW1zNGVERldTR2t5UTB0eWExVXJNMHBoU2tkNFdGRllVM0ZXU0VwblFqVjJSV1JxUjBSRFoycFBLM0ZRZWxsUEsyRXdSMjR3ZVdZelRtTlRjMmx1UmpKQ2JVRm1hMlZrV1hrMU9GcFhXalJrU3pSaE5sbFRVRGd4VkVoYVNYRnllRnBvZG5OV1psZ3dPRGxIY1U0d1FWaFpWMnhGU2tWTFRXMTVaWEJ5WWtWSGJHSXpRM1ZxWVRCbU5tSkllV3M0WVM5SGNra3pkSFJRTldGT1pGaFpZVmRqUmxkUVZXOVlVMFpvTVdKSWFIazNiRzlNUnpkd1RsZHFObk5wZDFrelFUSXhZVk5tZUdsMk5rTlJOMUo1ZURaMWRVUjZUV3MwUWpSSk9VVlpkbmRyY0ZCUEsyZHRRV05vTjJONGFrMW5Nemt4Wm5GQ2JHcEpka1prY1U5eWFtUXJVRlZNYnpGUlpXZHZWMHQxU0c1bFZqazVNR0V4Tm5KUWJVOVdXRlU1YkhGbFlXcFRRV1psZDFFeldVSkRZWFJQUW5OQ1FrRkpWbkJZUTBScVFVaGhOR1ZzU25kVVNsaHlaRTV5VFRkMVNXTkNUMGxyUjA5RlluUllSMmhGY1cxRlIwOTRNazV4SzJSUVIzWmpTamRsVDNkRlZqZzJWMjR2Y1RCQ1JqRmhZbGt4TkhNM01uaDVka053YTFOa2RuaFdiMEZKUkc4NU0zVTNXR29yZWk5TllVWjNWbkF5Wm5wVldVMTRha2wxUWtaT05FZzFjVWM1UkZSbFNuVkllVFJvY2xsVmNVaExSbGhCV1ZoclNqaHpUVkZoVEhwYU5FNUhlRzlxZFRoeFpESXZNV05wT1ZaUkwzVmpaazF0V25kaGNXcHRhMUE0TUZwMmNtVkpWVEoxYldWaVZsaHdjVmxHTWk5NWVFcGtUM0V2V0ZOR2RYSkdaelpuWTBWUVlqRlBOMDF5UmxCQ1VXSjVaWHB3UWtKUmNVWXhOWGQxVWpKRWVXeHhPVzlJYnpad1RqZG5SM1JoUTNwNVVXOUpZMFZNVjBoekwzWnFSbEJZVG5KelVYVjJZWEJIVEUxVU5YZGpLM1pLVEdSbE1XbHphMmxKVVdWb2EyazVlbk5qTmxSTk1WaEdaM1F5VkVSTmRpdFJVM0V6YTBkbmFVSkhhMVYzWW5jemQzQk5jbTFCV1dsbmJuQlVkejA5Okd2MGdOcGgzZ0JjVWNheWYzcGs3d2c9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783030304454 |
| Publisher: | Springer Nature Switzerland AG |
| Release Date: | September of 2019 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 550 |
| Format: | Book |
| Collection: | Lecture Notes In Computer Science |
| Categories: |
Books in English
>
Computing
>
Schedule
|
| EAN: | 9783030304454 |
BOOKS FROM THE SAME COLLECTION
-
10%Security And Cryptography For NetworksSpringer International Publishing AG60,82€ 10% CARDfree shipping
-
Pre-order10%Combinatorial Optimization And ApplicationsSPRINGER VERLAG, SINGAPORE103,41€
114,90€free shipping