adicionar à lista de desejos
Tool Support For System Specification, Development And Verification eBook
idioma: inglês
Editor:
Springer Vienna, dezembro de 2012 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
Y1had2JERk5iVzVUYkZwWWVrVnVVRnBKUjBneVpHd3JZbVpWVGpsc1pIUjZNVFJRVWxSdk5GZG1jelI0VWtGWmNsaHhVMFJHYkdKU00wWmthVlo1VkZWMk1YbGFjV1JpUlVwcFYxRmlZVEZuYm1GSGFHOTFTMkp3U0hWS2FURnlWRWN4Y2swM1VWcEhWa1JtTlVGb1MwbDVhMGxxWWtaR1RIWkJRV3hHTW1WQlNYRmxkWE5PUTNSME1XZzNMMWMzUlVGVWNESnZOMGRZVm0xYWNrNVFPVmwwTVRWU056UmpZMmhCV0VWcllVY3hWMDkxYm1SeVMwNXdiblZwTmtwU09WRmxXR0ZsTjFCWFJsSklNVU5EVG1SMlJIWklOWEpHTDNsc1JuWnliWEZ0UkRodE5rOTBhRkIwWlhoVk5tSkNRakV4VUVzdlZqSm1WVnBVUkVGQmMyUkZjVlI0TlN0SFlXSnRaazVLWWl0dU9HNUVialIyVjFaM1ZtaFFRemRMYVd0aGVtaE9iM1VyTm10elppc3JhM05yT0dNMVRuVkVPR3RrTjNKb2MyUlJiekJSVEUwMmRHbEVka1YyWm5kQ2RXeGhjVU01V0RCa2IzVmtaR05VTWxwMFdYTmtVV1pzY205VFJXdDBjRVpGZUhoMWNuQlRMMlpRWXpkSmF6WXdkRzlEUm5NNVZGVm9MMGROZHpGb2RrRk1ObmxtV2trM2REVjJURkZ2WWxKUFRUQTBlR3Q2UkVOSVEzY3lVRmM0Ym1oaFNFUmlVMjFIZWs5S1RrOXRlR3hOVVRGSmR6aFhXbTlwV1ZCUWRtMUZUR1IzU2pkSWVEWkhiVEZCUlVGR1JuQlhhalpPYm5scFRsbHRRVWxETjNvNFZUaFVaMU5wZGxSRVV6WnNVRXBaVDFwbVlUTktXVXQ2ZFVFMlR6UXpUSFpOY0hFNVJYcEJTMFZDVTBodGNteGFUa0ZCYW1sVU5FbHJOVzlHZWxkd1VrNUxURVZZTmpsUmFEVXJiM0Y1ZEU1SFNtZHVZVGwyWTBwRFF6WXdNemhLTDJ0TlZFVlZOVXhOTW1Rd2J6ZEthbmhWTjJGcllrdzFjamRRU1V0cFNFdGhTRnBYVTJadlJrMTRhRkZsUTNOSk0waEZaa3RVY0U0eVdrbDRVems0VUVOVlkybEJWVVJsZVN0eWQwTkdSbkJaWTFkbllrbFZhakJaVEV4aWFVdzBRbmxQVm5KUlpWTk5WemRrUTJOMWVGQjFiQzgzUmxwNFNHeDJMMDl5ZVU0eVoyWk9TVXR2T1dOU1QyVXpaMWh6TkhOT2NEUllhVXh6UFE9PTo3VDhzbjROTVBTUWVXV2F4Mm1sQlN3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783709163559 |
| Editor: | Springer Vienna |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Advances In Computing Sciences |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Edição de Imagem
|
| EAN: | 9783709163559 |
LIVROS DA MESMA COLEÇÃO
-
Systems: Theory And PracticeeBook10%Springer Vienna59,61€ 10% CARTÃO
-
Relational Methods In Computer ScienceeBook10%Springer Vienna59,61€ 10% CARTÃO