Idioma:

Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

Tiziana Margaria; Bernhard Steffen; ISoLA 2004 (1 : 2004.1 : Paphos); International Symposium on Leveraging Applications of Formal Methods (1 : 2004.1 : Paphos)

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

Título:
Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers
Autor: Tiziana Margaria; Bernhard Steffen; ISoLA 2004 (1 : 2004.1 : Paphos); International Symposium on Leveraging Applications of Formal Methods (1 : 2004.1 : Paphos)
Assuntos: Formal methods (Computer science) -- Congresses; ENGENHARIA DE PROGRAMAS -- CONGRESSOS; Data transmission systems Congresses; Electronic data processing Structured techniques Congresses; Embedded computer systems Congresses; Formale Methode SWD-ID: 43337223; Programmanalyse SWD-ID: 41758419; Programmverifikation SWD-ID: 41355763; Softwareentwicklung SWD-ID: 41165226; Systemanalyse SWD-ID: 41166735; Systementwurf SWD-ID: 42614806; Verifikation SWD-ID: 41355775
Notas: Literaturangaben
Títulos relacionados: Série:Lecture notes in computer science 4313
Editor: Berlin u.a. Springer
Data de criação/publicação: 2006
Formato: VIII, 196 S. ill., graph. Darst. 235 x 155 mm..
Idioma: Inglês

Links

Voltar para lista de resultados