Siirry suoraan sisältöön
FM 2009: Formal Methods
Tallenna

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.
Alaotsikko
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Painos
2009 ed.
ISBN
9783642050886
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
26.10.2009
Sivumäärä
820