000798162 000__ 01749cam\a2200445Ii\4500
000798162 001__ 798162
000798162 005__ 20230306143509.0
000798162 006__ m\\\\\o\\d\\\\\\\\
000798162 007__ cr\cn\nnnunnun
000798162 008__ 170821s2017\\\\sz\a\\\\ob\\\\001\0\eng\d
000798162 019__ $$a1003065173
000798162 020__ $$a9783319640211$$q(electronic book)
000798162 020__ $$a3319640216$$q(electronic book)
000798162 020__ $$z9783319640204
000798162 020__ $$z3319640208
000798162 0247_ $$a10.1007/978-3-319-64021-1$$2doi
000798162 035__ $$aSP(OCoLC)on1001430729
000798162 035__ $$aSP(OCoLC)1001430729$$z(OCoLC)1003065173
000798162 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF$$dUAB
000798162 049__ $$aISEA
000798162 050_4 $$aQA76.9.F67
000798162 08204 $$a004.01/51$$223
000798162 1001_ $$aO'Regan, Gerard$$q(Cornelius Gerard),$$eauthor.
000798162 24510 $$aConcise guide to formal methods :$$btheory, fundamentals and industry applications /$$cGerard O'Regan.
000798162 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000798162 300__ $$a1 online resource (xix, 312 pages) :$$billustrations.
000798162 336__ $$atext$$btxt$$2rdacontent
000798162 337__ $$acomputer$$bc$$2rdamedia
000798162 338__ $$aonline resource$$bcr$$2rdacarrier
000798162 4901_ $$aUndergraduate topics in computer science,$$x1863-7310
000798162 504__ $$aIncludes bibliographical references and index.
000798162 506__ $$aAccess limited to authorized users.
000798162 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 21, 2017).
000798162 650_0 $$aFormal methods (Computer science)
000798162 77608 $$iPrint version:$$z9783319640204$$z3319640208$$w(OCoLC)992746958
000798162 830_0 $$aUndergraduate topics in computer science,$$x1863-7310
000798162 852__ $$bebk
000798162 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-64021-1$$zOnline Access$$91397441.1
000798162 909CO $$ooai:library.usi.edu:798162$$pGLOBAL_SET
000798162 980__ $$aEBOOK
000798162 980__ $$aBIB
000798162 982__ $$aEbook
000798162 983__ $$aOnline
000798162 994__ $$a92$$bISE