001466099 000__ 02312nam\\2200553\i\4500 001466099 001__ 1466099 001466099 003__ MiAaPQ 001466099 005__ 20230702003544.0 001466099 006__ m\\\\\o\\d\\\\\\\\ 001466099 007__ cr\cn\nnnunnun 001466099 008__ 171002t20122012gw\a\\\\ob\\\\000\0\ger\d 001466099 020__ $$z9783954040568 001466099 020__ $$a9783736940567 (e-book) 001466099 035__ $$a(MiAaPQ)EBC5019245 001466099 035__ $$a(Au-PeEL)EBL5019245 001466099 035__ $$a(CaPaEBR)ebr11431936 001466099 035__ $$a(OCoLC)1003260504 001466099 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ 001466099 050_4 $$aTA347.N46$$b.T454 2012 001466099 0820_ $$a005.1015115$$223 001466099 1001_ $$aThiel, Sebastian,$$eauthor. 001466099 24510 $$aPetri-Netz basierte verifikation von funktionalen testfallen /$$cSebastian Thiel. 001466099 264_1 $$aGottingen, [Germany] :$$bCuvillier Verlag,$$c2012. 001466099 264_4 $$c2012 001466099 300__ $$a1 online resource (227 pages) :$$billustrations, tables. 001466099 336__ $$atext$$2rdacontent 001466099 337__ $$acomputer$$2rdamedia 001466099 338__ $$aonline resource$$2rdacarrier 001466099 4900_ $$aAudi Dissertationsreihe ;$$vBand 57 001466099 504__ $$aIncludes bibliographical references. 001466099 506__ $$aAccess limited to authorized users. 001466099 588__ $$aDescription based on online resource; title from PDF title page (ebrary, viewed October 2, 2017). 001466099 650_0 $$aPetri nets. 001466099 650_0 $$aAutomatic control$$vCase studies. 001466099 655_0 $$aElectronic books 001466099 77608 $$iPrint version:$$aThiel, Sebastian.$$tPetri-Netz basierte verifikation von funktionalen testfallen.$$dGottingen, [Germany] : Cuvillier Verlag, c2012 $$z9783954040568 001466099 852__ $$bebk 001466099 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=5019245$$zOnline Access 001466099 909CO $$ooai:library.usi.edu:1466099$$pGLOBAL_SET 001466099 980__ $$aBIB 001466099 980__ $$aEBOOK 001466099 982__ $$aEbook 001466099 983__ $$aOnline