|
|
Registro Completo |
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: |
https://dx.doi.org/10.1007/978-3-540-87873-5
|
Marc: |
LEADER 00915nam a2200253 a 4500 001 1892728 005 2011-06-16 008 2008 bl uuuu u0uu1 u #d 020 $a9783540878735 100 1 $aSHANKAR, N. 245 $aVerified Software$bTheories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings$h[electronic resource] 260 $aSpringer eBooks.$c2008 300 $cv.: digital 490 $aLecture Notes in Computer Science,5295 650 $aartificial intelligence 650 $acomputer science 653 $aArtificial Intelligence (incl. Robotics) 653 $aLogic design 653 $aLogics and Meanings of Programs 653 $aMathematical Logic and Formal Languages 653 $aModels and Principles 653 $aProgramming Languages, Compilers, Interpreters 653 $aProgramming Techniques 700 1 $aWOODCOCK, J.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Ebooks (Ebooks) |
|
Nenhum exemplar cadastrado para este documento. |
Voltar
|
|
Registros recuperados : 1 | |
Registros recuperados : 1 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|