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
Y0dOR2JGWXlRak5EVEVOVVMwbGpMM2RqV1dKdU5YYzRXamRpVTJKc1ZsbE5jMHhWTTBaamEzUmpZbUp0ZURCMVZEaDBUbXA1WkUxTFptMDVOVk12U1VGdWRpOUdiRE5hVUhwRVpqbEVaMFpKU1RBMWRYQTRTRFZRVjNkTVpXNWFRMmRUUXpWTGIzZHdiSGc1SzJOelZraDFPR0YyYTFKa2VuTkxWMmczWnpsemFHZFdkVTVqYTFWWVQxZFpVWFZtYkVsemJFaFdTSFZySzA1NlVYTXhNMk5LYmpsR2EwczJXamR4TjB0MGFuZGlTMnQyUm1WaVZucFpjVkpLVVcxVVF6aEVTV3RNUmtaSWVuUTRlbFIwWVV0eFFVNWFVRXhDY1hCMVEwZHpTeloyVWpOTlptWk5hRE5qVlhOVVlVSnhTRE5YU0VKbk1XNXRiR2xPTTFreGFHWTNaVEpITjFOdk0wWkZjVXBKWVVjM1RGZ3dNbnBrVVhaMU5EWjZNbmd4ZVdzMVdUWlJhV05JZGpCMFNuZEVhblJyZVZaMmFrWTFTRzlyZDB4M2JrZHhkVlZHU0RoUmVuUlBWWFpSUnpnNVJFUTRTVW9yTjB0RFlWQkNSbEpDUm1SeVRrNVpLMEpwY0ZZM2RYUTVaME5pU2t4a1VIUTVPRU00VmpSRldXaDNaVk5VWmpScmJVVnhWemxrZEdGUU5FdFdkRlZxTTJwMVR5dEhkazVZU0hkWVNrOUNSR2RVZUN0S1JHeDRWV2hqVFZSS1R6VkZkVVZLYnprcmVGRjNWbEY1TlZWb05GTktWVlV4YVVoNmRIUTJWMWxuVmtOVFJrbDFjMVpVVUVsV1ZrcHZTM0JFWlhCd1NqQmthVVJWY0c5d1QyNXRPVlpoUVZsVU1DdEJjV1pZWjFvM1dWUkxRVTlvYWxWbE4zQk5NV1pqSzFWdlVXa3lhMlYzY0dkWFpFOTZVbmNyU201S2JreGhaMFYxWkRJeFJFd3pUVk5xYm5wMWN5dGFhQzlFWjJSYVNUUnlkME01WTB0NmMzVnNTMjR3V1RSYU9VUnZkVVpRVEhadU1rb3JPVlZuTTJ0T1ZqUnBObVZhUTBSWFVsZHJPVVV3Y0hoR01ubG5hbmtyUm5SSVozQklaamhqZFdkWFprWnVhV1p1UzJabVZIcDJUbnA0Y21wbWJVUXZPRlJTYjFKcmVVazFSVkE0TWxNclFpOVBkelpzUVZBMmQyNXVSVmhrTjJ0Q1NEUnZlVlZtU2tONFlrbzBRbGxqY201dFkxQkdVa2RrTkN0b1RYaHJWRkZGTkRCbk5WbzNLekJzWjJwd1FuSnVLMGx5Y25wWk1tNVVVWEZSVmpCMmIxRkJSVGcwVjBad01VUXplWFZMYkVGR09VaFRaejA5OjNLb0lSMlArSDROdzErUzhEaDNkdHc9PQ==
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
-
Security And Cryptography For Networks10%Springer International Publishing AG60,82€ 10% CARDfree shipping
-
Advances In Neural Networks €“ Isnn 202510%SPRINGER VERLAG, SINGAPORE133,83€
148,70€free shipping