000			02225nam a22004453i 4500
001			EBC3074773
003			MiAaPQ
005			20240729124459.0
006			m o d |
007			cr cnu||||||||
008			240724s1996 xx o ||||0 eng d
020			_a9781447114949 _q(electronic bk.)
020			_z9783540760337
035			_a(MiAaPQ)EBC3074773
035			_a(Au-PeEL)EBL3074773
035			_a(CaPaEBR)ebr10918185
035			_a(OCoLC)958525664
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA76.758
082	0		_a005.1
100	1		_aLano, Kevin.
245	1	4	_aThe B Language and Method : _bA Guide to Practical Formal Development.
250			_a1st ed.
264		1	_aLondon : _bSpringer London, Limited, _c1996.
264		4	_c©1996.
300			_a1 online resource (240 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aFormal Approaches to Computing and Information Technology (FACIT) Series
505	0		_aFormal Approaches to Computing and Information Technology FACIT -- The B Language and Method -- Copyright -- Preface -- Contents -- Chapter 1 Introduction -- Chapter 2 The Foundations of B AMN -- Chapter 3 Analysis and Specification -- Chapter 4 Design and Implementation -- Chapter 5 Case Studies -- Chapter 6 Conclusions -- Bibliography -- Appendix A Exercise Solutions -- Appendix B Properties of Weakest Preconditions -- Appendix C Proof Techniques -- Index.
588			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650		0	_aB (Computer program language).
655		4	_aElectronic books.
776	0	8	_iPrint version: _aLano, Kevin _tThe B Language and Method _dLondon : Springer London, Limited,c1996 _z9783540760337
797	2		_aProQuest (Firm)
830		0	_aFormal Approaches to Computing and Information Technology (FACIT) Series
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3074773 _zClick to View
999			_c67375 _d67375