C.R. Ramakrishnan & Jakob Rehof 
Tools and Algorithms for the Construction and Analysis of Systems [PDF ebook] 
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Apoio
€57.99
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540788003 ● Editor C.R. Ramakrishnan & Jakob Rehof ● Editora Springer Berlin Heidelberg ● Publicado 2008 ● Carregável 6 vezes ● Moeda EUR ● ID 6320571 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

16.820 Ebooks nesta categoria