Formal Methods For Software Engineering
Languages, Methods, Application Domains
idioma: inglês
Editor:
Springer Nature Switzerland AG, junho de 2023 ‧
ver detalhes do produto
74,34€
10% DESCONTO
CARTÃO
ZDBabmRGY3lXR2RGYVRKaFN6aDRVMlF4VFZsRFdISk9hMVpyVDBsV1RFOUdRVWh6Y21FMGVubGpWMWh3TTNKRlJpdFJaM0YyVjNONk9FZFFkMVoyVlRZNFRVbzNTMFpETTJaTWFXeFRVbWhOWVdseWFsaGpNalU1UVVWVVNtZG9VU3RUTWxkbll6Z3djVXBVZUZOa05FNHJUM1ZsY0Vwb0wyUktLMmg1ZVd0aGFUWlRiREF3UnpCNmRVNTZjbnBuWVhodmNVTmlUMkpMTURGbFZVZDNjMmwyWldZclpsWjVSa014UkhoeFVFcEpjVEoxTlUxUmFsSjVlV3hWVmtWNFNtVm5SWFpEWkVocWFXcEpSbWc1WVdaVmJXZFlXbm96U0U0eVJYWTJiSFl2ZW5nNVlUbENjV3BoYkhSUFVuRk5ibFJTV0cxTVVGRm1WSGxCVFRWM01sVkRUbGs1WkV4Rk1VWlNWbTVKZUdaelIycFJWVzFZYW1WMk56Tk9SbnBJVEdwbVV6SmhjazFDWVRSSFduSkJiMWd5T0hCRmQzZFlWbTFIUkRsVVdXSjRRWFZRWmtrNFJpdHBVRlJDYTFGTkx6SlRkREJzYUhFMlJrSjRTVTE0ZWpVdlMzbHhkbU4xVVRaVE1EWlZMM2xFU0cxNE9HczVlV2hLUm1rNWJsUk9jMVpIY0hFd05GRlpkRGhoWkZkeVVrTlRLMkpIU1hjdlFWVkZSSGRIY0hWc2FWTk1kVGhzTDFGNGNtZEtkQzgxUzFWNU5HUkxZVVZqUTNaUE9YSnVWR1UzWldaYU5IaFhlbkZCTVdWRFozSndVMWxqTUZWdVZsZERURUowWkVoa1RHSkNZVFZ2Um5WRVJGbFJXakZGZWxwd1JHcHhVVnA0TDFST1RVWm9VR0pUV2taSVNXVlhRMHhKTjJobFNtSTFaSEoxVDNwQmRESkdSR1ZhWlRGTEwzTlliMHBDVEV0NFZtVnRZMlJ0ZGs4MFdVdExiamRaY2l0a1lsWnJaWEoxTW01cmVUWTNiVGx3TlU1UlNsWnVUa00wTkZSM1JESnlORWdyZERCdk5rbHlXRzlZV1hOYVkyNVBOa1JNVDNGcmVWTkRXRE5TZEROb2NtUjBhR0ZWYTFWSFpsQTJTM1ZQVDFWdVNWRjVWVkUzYkZoYU5tSXdPR1JGTVVsRVdFVk5aV05vU0M4NFUwcHJiMFZIU2pSREwxZG5Sa2RSVjBZd1dHRlhRV1p6WmpKa2EwNWlla0pUY21wME1sVlhSWHBHVlZKaVZIVkNTbE5MTlRCWVdTdHBRbTExUVRCTloydHRkV3htWTFwSFVHaHBSSEZ6YVZVeE4zbEhjbGxQVGs5TVdFNW9jVmxQWkhReGEwZHdkV3RNY0hGa1RVaHpjVkJSYkdGb1prTkllVEFyYzJrNVQzcFdORWRVZUNzeFJGaElTV2gxVUdOUmR6SXlVakl3TVM5RVl3PT06OGVuUGp4aDJQMWtxWTNrcDNTc3NIQT09
portes grátis
Venda o seu livro
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783030388027 |
| Editor: | Springer Nature Switzerland AG |
| Data de Lançamento: | junho de 2023 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 524 |
| Tipo de produto: | Livro |
| Coleção: | Texts In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Outros |
| EAN: | 9783030388027 |
LIVROS DA MESMA COLEÇÃO
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARTÃO
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis