On the Generation of DisCo Specifications from Functional Requirements

TamPub

Kuvailutiedot

dc.contributor.author Nummenmaa, Jyrki -
dc.contributor.author Zhang, Zheying -
dc.contributor.author Nummenmaa, Timo -
dc.contributor.author Berki, Eleni -
dc.contributor.author Guo, Jianmei -
dc.contributor.author Wang, Yinglin -
dc.date.accessioned 2012-06-17T20:08:59Z
dc.date.available 2012-06-17 08:30:08 -
dc.date.available 2012-06-17T20:08:59Z
dc.date.issued 2010 -
dc.identifier.isbn 978-951-44-8284-7 -
dc.identifier.issn 1795‐4274 -
dc.identifier.uri http://tampub.uta.fi/handle/10024/65470
dc.format.extent 11 -
dc.language.iso en -
dc.publisher Tampereen yliopisto -
dc.title On the Generation of DisCo Specifications from Functional Requirements -
dc.type fi=Erillisteos | en=Monograph| -
dc.identifier.urn urn:isbn:978-951-44-8284-7 -
dc.relation.numberinseries D-2010-13 -
dc.type.version fi=Kustantajan versio | en=Publisher's version| -
dc.seriesname Tietojenkäsittelytieteden laitoksen sarja D -Verkkojulkaisut -
dc.subject.okm fi=Tietojenkäsittelyoppi ja informaatiotieteet | en=Computer and information sciences| -
dc.oldstats 176 -
Icon
Kustantajan versio

446.6Kt

Lataukset: 
Avaa tiedosto

Viite kuuluu kokoelmiin:

Kuvailutiedot