001363950 000__ 01863nam\a2200493\i\4500
001363950 001__ 1363950
001363950 003__ MiAaPQ
001363950 005__ 20210807003438.0
001363950 006__ m\\\\\o\\d\\\\\\\\
001363950 007__ cr\cn\nnnunnun
001363950 008__ 170627t19981998nyua\\\\ob\\\\001\0\eng\d
001363950 020__ $$z9780387984179
001363950 020__ $$a9781461216742 (e-book)
001363950 035__ $$a(MiAaPQ)EBC3076610
001363950 035__ $$a(Au-PeEL)EBL3076610
001363950 035__ $$a(CaPaEBR)ebr10920438
001363950 035__ $$a(OCoLC)958527533
001363950 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ
001363950 050_4 $$aQA76.6$$b.B335 1998
001363950 0820_ $$a005.1/4$$221
001363950 1001_ $$aBack, Ralph-Johan,$$eauthor.
001363950 24510 $$aRefinement calculus :$$ba systematic introduction /$$cRalph-Johan Back, Joakim von Wright.
001363950 264_1 $$aNew York :$$bSpringer,$$c1998.
001363950 264_4 $$c©1998
001363950 300__ $$a1 online resource (519 pages) :$$billustrations.
001363950 336__ $$atext$$2rdacontent
001363950 337__ $$acomputer$$2rdamedia
001363950 338__ $$aonline resource$$2rdacarrier
001363950 4901_ $$aGraduate Texts in Computer Science
001363950 504__ $$aIncludes bibliographical references and index.
001363950 506__ $$aAccess limited to authorized users.
001363950 588__ $$aDescription based on print version record.
001363950 650_0 $$aComputer programming.
001363950 650_0 $$aCalculus.
001363950 650_0 $$aComputer logic.
001363950 655_0 $$aElectronic books
001363950 7001_ $$aWright, J. von$$q(Joakim),$$d1955-$$eauthor.
001363950 77608 $$iPrint version:$$aBack, Ralph-Johan.$$tRefinement calculus : a systematic introduction.$$dNew York : Springer, c1998 $$z9780387984179 $$w97047336
001363950 830_0 $$aGraduate texts in computer science (Springer-Verlag New York Inc.)
001363950 852__ $$bebk
001363950 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3076610$$zOnline Access
001363950 909CO $$ooai:library.usi.edu:1363950$$pGLOBAL_SET
001363950 980__ $$aBIB
001363950 980__ $$aEBOOK
001363950 982__ $$aEbook
001363950 983__ $$aOnline