Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Livro de bolso
2010, ISBN: 3642157688
[EAN: 9783642157684], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Sep 2010], ANALYSIS, VERIFICATION, OPTIMIZATION, PROGRAMMING, STRUCTURED SYSTEMS TESTING, LOGIC, Besorgungst… mais…
AbeBooks.de AHA-Books, Einbeck, Germany [86569176] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: EUR 2.90 Details... |
2010, ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
2010, ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… mais…
Thalia.de Nr. 23488121. Custos de envio:, Sofort lieferbar, DE. (EUR 0.00) Details... |
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livro usado
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarn… mais…
booklooker.de |
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livro usado
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisu… mais…
booklooker.de |
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - Livro de bolso
2010, ISBN: 3642157688
[EAN: 9783642157684], Neubuch, [PU: Berlin Springer Berlin Heidelberg Springer Sep 2010], ANALYSIS, VERIFICATION, OPTIMIZATION, PROGRAMMING, STRUCTURED SYSTEMS TESTING, LOGIC, Besorgungst… mais…
2010, ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… mais…
2010
ISBN: 9783642157684
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… mais…
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livro usado
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarn… mais…
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - livro usado
2010, ISBN: 9783642157684
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen und eingerissen 8647984/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisu… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Static Analysis by Radhia Cousot Paperback | Indigo Chapters
EAN (ISBN-13): 9783642157684
ISBN (ISBN-10): 3642157688
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Radhia Cousot
471 Páginas
Peso: 0,727 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-05-12T23:48:58+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-06-18T18:58:07+01:00 (Lisbon)
Número ISBN/EAN: 9783642157684
Número ISBN - Ortografia alternativa:
3-642-15768-8, 978-3-642-15768-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: matthieu, david austin, david allen, james robin, david emerson, stanford, von martel
Título do livro: perpignan, september, sas, lecture notes computer science, static analysis
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783031442445 Static Analysis | 30th International Symposium, SAS 2023, Cascais, Portugal, October 22¿24, 2023, Proceedings | José F. Morales (u. a.) | Taschenbuch | Lecture Notes in Computer Science | Paperback (Morales, José F.)
- 9783031442445 Static Analysis | 30th International Symposium, SAS 2023, Cascais, Portugal, October 22¿24, 2023, Proceedings | José F. Morales (u. a.) | Taschenbuch | Lecture Notes in Computer Science | Paperback (Morales, José F.)
- 9783030323035 Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings Bor-Yuh Evan Chang Editor (Bor-Yuh Evan Chang)
- Static Analysis
< Para arquivar...