Lars-Henrik Eriksson - FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science, 2391, Band 2391)

Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 644, publicationDate : 2009-02-22, publishers : Lars-Henrik Eriksson, ISBN : 3540439285 ...