skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Reliable software technologies, Ada-Europe'97 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (1997 London, England) Keith Hardy; Jim Briggs

Berlin Springer New York 1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1251 ) e outros locais(Acessar)

  • Título:
    Reliable software technologies, Ada-Europe'97 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings
  • Autor: Ada-Europe International Conference on Reliable Software Technologies (1997 London, England)
  • Keith Hardy; Jim Briggs
  • Assuntos: Ada (Computer program language) -- Congresses; Computer software -- Reliability -- Congresses; LINGUAGEM DE PROGRAMAÇÃO (CONGRESSOS); ADA (CONGRESSOS); CIÊNCIA DA COMPUTAÇÃO; ADA
  • Notas: Includes bibliographical references and index
  • Descrição: Finite unions for Ada 95 / B. Holzmüller, E. Plöedereder -- Ada bindings for C interfaces : lessons learned from the florist implementation / T.P. Baker, D.I. Oh -- An Ada 95 sort race construction set / M.B. Feldman -- Computer aided teaching ofprogramming languages : an Ada-specific development / J.E. Cooling, N. Duff, J. Cooling -- The SPIF project / B. Dupouy ... [et al.] -- Developing scripting capabilities for an Ada-based simulator / S.S. Jovanovic, D.M. Sotirovski, P. vanAswegen -- Systematic unit-testing of Ada programs / J. Wegener, I. Fey -- Ada 95 as a base to architect systems in 045 [superscript trademark symbol] / I. Ögren -- Including non-functional issuesin Anna/Ada programs for automaticimplementation selection / X. Franch -- Semantics-based support tools for high integrity Ada software / W.L. Yeung -- An alternative toolset for analysis of Ada programs / A.E. Bell -- Implementing application-level sporadic server schedulers inAda 95 / M. González Harbour, J.J. Gutiérrez Garcia, J.C
  • Títulos relacionados: Série:Lecture notes in computer science 1251
  • Editor: Berlin Springer New York
  • Data de criação/publicação: 1997
  • Formato: viii, 291 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  2 AvançarIr para próxima página

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

Buscando em bases de dados remotas. Favor aguardar.