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
U3pnNGRqbHhiWE5zZDNsSVkxTmFaVmhIYVc1SlZVTTJTVlZhU2s4eGRERnhhVkV2WjFsT2JrcGtSSGRKVldkbVppOVpWV2N5UmpSc2F6WnJhWEZxTjJ4Q1ltWXJZakJXVlhFMFZXWTFabVIyVlUxNVdHWlNiakF2THpaWVJVdG1WV2RsTDNjM1RVOWxhWFYxSzJJNGVXVlFTbFJDUTNoYWVtZGxWeTkxUVU1eU1VdzVTVmxNWkhaRmRHdG1Tak15UkdaTEsxVkZORGxxUTA1elVFNUZjSEExUml0VmEwcENUa1o1WW1sRVdtVjNWRmhLUkhCVWJsWkVMMmt3U0N0MVZHMUthbGQ1TVc5TWVEWkVUMGQ2UVd4WFVVNTBXWGQ1Wm5oQ1Frb3diSE5PYURNeWJraGxhakpZTVV0c1NuQnpUbmxNVVRNM1pHdEhhRzU2YWpWRlVFYzJZMkZRTVdkRVlrMDBWQzh6YW1acWJqaDJXWGRqVmpWM1IxVk1PSHA0SzB4Mk5HZEpUVkF6Vkc4MFkxUjNSRmwyUXpjMGNXUXlaVFZ2U1ZwMVJHcHVaMjl6ZWpWVGJEZHNiMDlsYWxvM1RFRnNRM1V4VUVsSGFVY3JWR1F6UkdOTWQxWktRMVo0U0ZoMGVsTmlWVmd3YlhGWVVuZDRNV3RoWVVOVWFHdGtRMDVEV1hWUE4xQmpSbEYzWjJ0NE9WTnlRbXQ1WmtzMmVWSXhSV3B4V1c1elpWSmtSREJrUm5jME5GaGlUa3hJY2xCbmQyWlNkRzlQYjJGNk5ucHhlVlJZVVcxVVYxTkZkakZZZEU1QkwwRlZRbTR5Wnl0YVdFVlVjRlZVU0VFelN5OUJlWGxwZFVwMFZqTXdPVlZ5TURkMGFGTkphRWwxUmxkdVMweHNhMEpMUkVkQlUwcEZielpsVGt0R2IzaGFkWEE1Y0hGU1VFZzVjSGRvWWpnd1VVOXNkRWhvTVdKck1UZHJWVzh5UlhOcGEwVXlPVWgzT0ZGaE4yTm1VV1kzTXpRMU5UQlpTbWxGZVhRclNFRnVkMUpVUmt0dFEzWndZWGxJV0V3MFQzb3Zka2hvUkdSaU9URk9NMFUxWW5sVmRYWXpOQzlGWmtOeVpFdzJOM1ZGVWtOaWNIbHJlRGswYzJWQlkxaFpOM2hLTURWMlpsTnVZMDAwVFZSUWNGZFBNSG81VFdsMGFuVndaV1oxVFdSaFNrZFZhM050U0V3dlF6TXJjMmRaTkZKTWVFaEJSRGhVUW5OQ1ZVbGtiVzVqVXpJdlIwUlBaVVIxWjJWUGEwSTBVMjVzTUVWTFZsWlFSalJMU2xGMVFqQTJlRTlHVWtOQ2IwSlJOV3N6U0cxT1p6VnpWbXRtZERaeU5taFVVbUZqTlVkeVVURXpaejA5OnpXZ2dpeTFhVEZUNHVwYThydXBVcUE9PQ==
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