adicionar à lista de desejos
B Language And Method eBook
A Guide To Practical Formal Development
idioma: inglês
Editor:
SPRINGER LONDON, dezembro de 2012 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
T1dwaVZ6RlFRelZRUjFvNWExTmlUbVVyVm00NGJscFpOeXMwV1dSRGVHNVdlaTl5WTA0eFRUVktRMlJqV1VoNWRVTm1WMWhEZUZOTFEwdHNZazFqVWpnNFQyZHVWRFJuUTNoamJGZ3lkVmRzVkRoUlVuY3hRMUprT1NzNFNFVmhWV1ZHYmxkb2NTOXBZbHBvS3preGVYQnJVbGxDVFZsd01WQjRjelJTTjFnMFFuaDZWazFqTm5kaUwzcFdZMVJqWkRscmVXUTNTV1ZOWlU1bVMwVkhTVGx2UjBocmVFZGFXalIzUTFabVFUWTRkbkZEVEhKTmRrRlFkMmcxYVRGemFHdFdaSFpCUlhkRVZFNTViV1p4TmpWV1NXdElPVmxWUzFOaFZsbHlWQ3RuVkUxU2VFdGhVbGxCVkdkT2JVeDFiRmRpVW5Sd2EyODFiWFZxTlV4a1oweGtPRXN5WWtGc1l6Y3Jaa3BsT0VOb1NreG9ObFJUZHpaaFp6UnhZbU5DWTJkMWVGbDNPRTFQY0RKa1FtRlNTMHgyZEdKTFEwSkdVVk5UTVZCS1duZHJRbmRJZDBoU1RtMUhXalJuVFZGSFIyOXBWVm9yWTNOb1pYRmxjRlZxZHpORGFIUlRNbkpoTlZvMVpEVkVieTlLUlhSU2MwRmphbTR6U1cwME0xcGFSM3BXYzJGMlVIaE1iWFV5WW0xd1VWVmhjWEJyVkhkcmJFRlRSVEowVUhsT1pFbGtNMmhFUTNkUFN5OXZlSFZoTHpkek5IbFBjSFJCVUcxUlVYbG9VRUUwYlVZMlZrRk1WWGxHTmtjMVdXVjZUVzkzV0dKRkszUmtURlprV2twMFlqZ3pNVko0VFVsV2VFRnJSSGt5ZURCSVR6UndlVzFrWjBJNU16WkRjRzFJT0dkS1ZGbDBkVm80UzJOS1NtZHhLMGczTUVWSWVXcDZia3RwZDBGM1IwbDFXU3REYVU1T2IzUTJjRXhRUkhocVVsaHRXWEZoVWxsdWFrZHBPWEo0Tm5CMVRGUldOVVF4Uld0blpFa3JUMlpLVEV0WmFYSjJSMnQxWm10aVdXVjNaV1p4YXpkMFQzUXhjekk0T1UxSFNuRnRLeXRSU2pWeGVYaGFUSEpZWTBkNVpUbG5Wa1ZrTjBsdVVYRldaRmxrV0c5bllqSkdVbk5wUjBGR2FFMDFkM2hYYkZJd05FcEpUWEJ1WWt3dloxbHNVR2R5YzJnMk9YUmtUM2RNV0hSV1FUZzJWR3BhZWxaVlNuWTRXVFprY2k4NVEwUkRWV1JIWVN0emRtMU9VV1kwWW1SS1VXODFWSEZWUFE9PTo4bTZ4NWtqaURRQ0JJc1dBa2ZrV2pnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781447114949 |
| Editor: | SPRINGER LONDON |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Formal Approaches To Computing And Information Technology (Facit) |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9781447114949 |
-
10%Agile Model-Based Development Using Uml-RsdsTAYLOR & FRANCIS LTD72,99€ 10% CARTÃOportes grátis
-
10%Financial Software EngineeringSpringer Nature Switzerland AG54,06€ 10% CARTÃOportes grátis