Registro Completo |
Biblioteca(s): |
Ebooks. |
Data corrente: |
16/06/2011 |
Data da última atualização: |
04/02/2013 |
Autoria: |
DUMAS, M.; HECKEL, R. |
Afiliação: |
Marlon Dumas; Reiko Heckel. |
Título: |
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings |
Ano de publicação: |
2008 |
Fonte/Imprenta: |
Springer eBooks. |
Descrição Física: |
v.: digital |
Série: |
Lecture Notes in Computer Science,4937 |
ISBN: |
9783540792307 |
Idioma: |
Inglês |
Palavras-Chave: |
Computer Communication Networks; Computer system performance; Logic design; Logics and Meanings of Programs; Management of Computing and Information Systems; Software Engineering; System Performance and Evaluation. |
Thesaurus Nal: |
computer science; information systems. |
Categoria do assunto: |
-- |
URL: |
https://dx.doi.org/10.1007/978-3-540-79230-7
|
Marc: |
LEADER 00884nam a2200253 a 4500 001 1893366 005 2013-02-04 008 2008 bl uuuu u0uu1 u #d 020 $a9783540792307 100 1 $aDUMAS, M. 245 $aWeb Services and Formal Methods$b4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings$h[electronic resource] 260 $aSpringer eBooks.$c2008 300 $cv.: digital 490 $aLecture Notes in Computer Science,4937 650 $acomputer science 650 $ainformation systems 653 $aComputer Communication Networks 653 $aComputer system performance 653 $aLogic design 653 $aLogics and Meanings of Programs 653 $aManagement of Computing and Information Systems 653 $aSoftware Engineering 653 $aSystem Performance and Evaluation 700 1 $aHECKEL, R.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Ebooks (Ebooks) |
|