Summary goes here

Salvato in:
Dettagli Bibliografici
Natura: Libro
Lingua:inglese
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
era
format Book
genre
geographic
id d015e9bf-ec01-4690-9ddf-e58ee8c7ad19
isbn 9781509092390 (online)
issn
language eng
physical
publication – publisher: IEEE Computer Society
  dateOfPublication: c2006
publishDate c2006
subjects
title Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India / edited by Dang Van Hung, Paritosh Pandya ; sponsored by Computer Society of India (CSI) ; supported by United Nations University International Institute for Software Technology (UNU-IIST) ... [et al.].
topic Software engineering
Formal methods (Computer science)