adicionar à lista de desejos
Tool Support For System Specification, Development And Verification eBook
language: english
Publisher:
Springer Vienna, December of 2012 ‧
see product details
59,61€
10% OFF
CARD
Vm01UFNVcEdkRk52WVdoeVFsSlliR05MVFdkRGQzZHpaVXhoV25aUFltSjJTRzVDWW5jMlpWcFhiVkJOTjI0MVkwRXpUMmxXVlhCMlQyVjRiRGxwVVdsa2FHeFBVMHA0ZUdsNmJEVlFjM1l3VTBFd2VURmlNRE5FU0VVdk56Tm1jVUZ5YVhreE9ISkxSeTlGWWtVelUyZHdSVVJhT0M5cUwyNW9UMVZYYm5ndlIzb3dVRkpzY1UwMGQwSndlWGhoTDFGUlMwVmhXbVowZGtNME5ucDRhRTQwUTB4WFprNXlVRUoxY0VoSFdGRlNWVVJQY0hOT1YwUjJPVmd6V21WbmFFY3ZkalJYVVVKSFJ6ZHdaa0puU2swdlV6QlBXamt5SzA5RGJ6TnVNVU16VWt4V2FrWlhkems1WVVrNVNXUmFXbllyUW00d05WRXlPVzh4U2pjclpGSjZkWGt6Y21GSmFTOHdWakk0ZG5kNVIyTlFNM04zV2l0RFJqWktlbE5RTDFOcFMwcHNObEZHVUdWMWFGRlZSMkpOVTJORU5TdFBVbEZzYnpaNE1ucEJaVWx5VDNOWlJGbFpPVmcyU21GUU5UWnhRMHBsYWlzNE5tdGhObk5ZT1VSSlFsaEVNVVV5WTNscVYyZExaSGhPTVdNeFYzVldaa3R5TW10a1JEUm1XRlpUU1ZkWFVtcEpOMEpIWldOWk56QXpUVTgxU1d4aGVIbzFVeXRJVkhOYVRYSXhhV3RKUjJ4dlluRjJibVZsUjJaNFozSlNTRk50YURWdk1FWk1SV2xMU204MlJqUkNOQ3RNVGxWdFlraGhjeTlpWkU5T09FTlNRbTVqYzNkRlNtSXpVemR0VW5adlFVYzVRVGxUUnpGV1dTdG9hVTFoVldWU09HZzNaVW8yYm1NME5EaFRhU3RuUTJFemNWaHhiak5oVW1OQlRrWmhVbkpEVm1ocWJDdFhSR1ZwU1ZWSlUxQlZiVzVLWlZsRFVUSlpUbVUwTlRsVFRtbGxVa1ZxUWpGNWFVNUZhSGcxY1VOM2RuTnVWRzl1VkdGdWRVRjNUSFkwV1ZaSFUxUnZWSGRXVFZKQ2NVOVBlVXh4VjJFeWQybHJOV2RMUjNKdlZ5dG9ZMnhwZW5SR1pXMXZSVXRSU0ZjeU0xWjBVRzVNUWxCb00zWjBRMFZ0VFV4QlowOTRUVUp0TjI1SVdIaFFWMmNyU1UxWlRHWnRZbll4TkVoalMwb3ZVMUpXZVRCSlRHeFdSak5wYUdsWVVFa3dTVTVzT1RVeE5rMWtabUUxYTFWNFZ6RlVkMGRhYzNNcldHWlFUamh6UFE9PTpsd29YNXNyT2VNbzdNWUVYenZ2WTZnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783709163559 |
| Publisher: | Springer Vienna |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Advances In Computing Sciences |
| Categories: |
eBooks in English
>
Computing
>
Image Editing
|
| EAN: | 9783709163559 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Systems: Theory And PracticeSpringer Vienna59,61€ 10% CARD
-
eBook10%Relational Methods In Computer ScienceSpringer Vienna59,61€ 10% CARD