Data/hora: 01/06/2024 11:24:41

Biblioteca(s): | Ebooks.
Data corrente: | 16/06/2011
Data da última atualização: | 16/06/2011
Autoria: | SHANKAR, N.; WOODCOCK, J.
Afiliação: | Natarajan Shankar; Jim Woodcock.
Título: | Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Ano de publicação: | 2008
Fonte/Imprenta: | Springer eBooks.
Descrição Física: | v.: digital
Série: | Lecture Notes in Computer Science,5295
ISBN: | 9783540878735
Idioma: | Inglês
Palavras-Chave: | Artificial Intelligence (incl. Robotics); Logic design; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Models and Principles; Programming Languages, Compilers, Interpreters; Programming Techniques.
Thesaurus Nal: | artificial intelligence; computer science.
Categoria do assunto: | --
URL: | http://dx.doi.org/10.1007/978-3-540-87873-5
Registro original: | Ebooks (Ebooks)