001363906 000__ 01891nam\a2200481\i\4500
001363906 001__ 1363906
001363906 003__ MiAaPQ
001363906 005__ 20210807003437.0
001363906 006__ m\\\\\o\\d\\\\\\\\
001363906 007__ cr\cn\nnnunnun
001363906 008__ 960305t19961996enka\\\\ob\\\\001\0\eng\d
001363906 020__ $$z3540760334 (Berlin : pbk. : alk. paper)
001363906 020__ $$z9783540760337
001363906 020__ $$a9781447114949 (e-book)
001363906 035__ $$a(MiAaPQ)EBC3074773
001363906 035__ $$a(Au-PeEL)EBL3074773
001363906 035__ $$a(CaPaEBR)ebr10918185
001363906 035__ $$a(OCoLC)958525664
001363906 040__ $$aMiAaPQ$$beng$$erda$$epn$$cMiAaPQ$$dMiAaPQ
001363906 050_4 $$aQA76.73.B155$$bL36 1996
001363906 0820_ $$a005.1/2/015113$$220
001363906 1001_ $$aLano, K.,$$eauthor.
001363906 24514 $$aThe B language and method :$$ba guide to practical formal development /$$cK. Lano.
001363906 264_1 $$aLondon ;$$aNew York :$$bSpringer,$$c[1996]
001363906 264_4 $$c©1996
001363906 300__ $$a1 online resource (239 pages) :$$billustrations.
001363906 336__ $$atext$$2rdacontent
001363906 337__ $$acomputer$$2rdamedia
001363906 338__ $$aonline resource$$2rdacarrier
001363906 4901_ $$aFormal approaches to computing and information technology
001363906 504__ $$aIncludes bibliographical references and index.
001363906 506__ $$aAccess limited to authorized users.
001363906 588__ $$aDescription based on print version record.
001363906 650_0 $$aB (Computer program language)
001363906 650_0 $$aComputer software$$xDevelopment.
001363906 655_0 $$aElectronic books
001363906 77608 $$iPrint version:$$aLano, K.$$tB language and method : a guide to practical formal development.$$dLondon : Springer, [1996]$$z9783540760337$$w(DLC)   96012591 
001363906 830_0 $$aFormal approaches to computing and information technology.
001363906 852__ $$bebk
001363906 85640 $$3ProQuest Ebook Central Academic Complete $$uhttps://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3074773$$zOnline Access
001363906 909CO $$ooai:library.usi.edu:1363906$$pGLOBAL_SET
001363906 980__ $$aBIB
001363906 980__ $$aEBOOK
001363906 982__ $$aEbook
001363906 983__ $$aOnline