Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Tallennettuna:
Yhteisötekijä: | |
---|---|
Muut tekijät: | , |
Aineistotyyppi: | E-kirja |
Kieli: | English |
Julkaistu: |
Berlin, Heidelberg
Springer Berlin
2011.
|
Sarja: | Lecture Notes in Computer Science,
6528 |
Aiheet: | |
Linkit: | Click here to view the full text content |
Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Järjestelmä pois käytöstä
Kirjastojärjestelmä on juuri nyt pois käytöstä.
Saatavuustiedot eivät ole juuri nyt käytettävissä. Pahoittelemme tästä aiheutunutta vaivaa. Voitte ottaa yhteyttä: