Gå direkt till innehållet
FM 2009: Formal Methods
Spara

FM 2009: Formal Methods

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.
Undertitel
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Upplaga
2009 ed.
ISBN
9783642050886
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2009-10-26
Sidor
820