skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Jones, C remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Systematic software development using VDM
Systematic software development using VDM
Material Type:
Livro 		Adicionar ao Meu Espaço

Systematic software development using VDM

C. B. Jones 1944- (Cliff B.)

New York Prentice Hall 1990

Localização: EPBC - Esc. Politécnica-Bib Central    (004.413 J7124s2 )(Acessar)

2
Systematic software development using VDM
Systematic software development using VDM
Material Type:
Livro 		Adicionar ao Meu Espaço

Systematic software development using VDM

C. B. Jones 1944- (Cliff B.)

Englewood Cliffs, N.J. Prentice Hall International c1986

Localização: IME - Inst. Matemática e Estatística    (QA752 J76s )(Acessar)

3
New directions in software management
New directions in software management
Material Type:
Livro 		Adicionar ao Meu Espaço

New directions in software management

Capers Jones IS Management Group

Carlsbad, CA IS Management Group c1994

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 J712n )(Acessar)

4
Software development a rigorous approach
Software development a rigorous approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Software development a rigorous approach

C. B. Jones (Cliff B.), 1944-

Englewood Cliffs, N.J. Prentice/Hall International 1980

Localização: IME - Inst. Matemática e Estatística    (QA754 J76s )(Acessar)

5
Formal specification and software development
Formal specification and software development
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal specification and software development

D. Bjørner 1937- (Dines) C. B Jones 1944- (Cliff B.)

Englewood Cliffs, N.J. Prentice/Hall International c1982

Localização: EPBC - Esc. Politécnica-Bib Central    (004.413 B557t ) e outros locais(Acessar)

6
Assessment and control of software risks
Assessment and control of software risks
Material Type:
Livro 		Adicionar ao Meu Espaço

Assessment and control of software risks

Capers Jones

Englewood Cliffs, N.J. Yourdon Press c1994

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 J712a )(Acessar)

7
Rigorous development of complex fault-tolerant systems
Rigorous development of complex fault-tolerant systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Rigorous development of complex fault-tolerant systems

Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 Newcastle upon Tyne, England) Michael Butler 1967; Cliff Jones; Alexander Romanovsky; Elena Troubitsyna; International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)

Berlin Springer New York c2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4157 )(Acessar)

8
Programming productivity
Programming productivity
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming productivity

Capers Jones

New York McGraw-Hill c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 J712p )(Acessar)

9
Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London UK, July 7-8, 2004 : revised invited papers
Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London UK, July 7-8, 2004 : revised invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London UK, July 7-8, 2004 : revised invited papers

Symposium on the Occasion of 25 years of CSP (2004 London, England) Ali E Abdallah 1957; C. B Jones (Cliff B.) 1944; Jeff W Sanders; C. A. R Hoare (Charles Antony Richard) 1934-

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1982  (1)
  2. 1982Até1985  (1)
  3. 1986Até1989  (2)
  4. 1990Até1994  (3)
  5. Após 1994  (2)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.