Data/hora: 17/06/2024 03:45:16

Biblioteca(s): 	Ebooks.	
Data corrente: 	16/06/2011	
Data da última atualização: 	16/06/2011	
Autoria: 	MEYER, B.; WOODCOCK, J.	
Afiliação: 	Bertrand Meyer; Jim Woodcock.	
Título: 	Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions	
Ano de publicação: 	2008	
Fonte/Imprenta: 	Springer eBooks.	
Descrição Física: 	v.: digital	
Série: 	Lecture Notes in Computer Science,4171	
ISBN: 	9783540691495	
Idioma: 	Inglês	
Palavras-Chave: 	Artificial Intelligence (incl. Robotics); Logic design; Logics and Meanings of Programs; Operating Systems; Operating systems (Computers); Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering.	
Thesaurus Nal: 	artificial intelligence; computer science.	
Categoria do assunto: 	--	
URL: 	http://dx.doi.org/10.1007/978-3-540-69149-5	
Registro original: 	Ebooks (Ebooks)