import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 136 MARCPlugin MARC Reeves, Steve, 1957- LSB = Live and Safe B : alternative semantics for Event B / Steve Reeves and David Streader. Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, 2006. Includes bibliographical references (p. 15-16). B method (Computer science) Parallel processing (Electronic computers) Streader, David. University of Waikato. Dept. of Computer Science. http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf HASH6a30b66a3a5419ad674b26s136 1678162979 20230307 1678163025 20230307 HASH6a30/b66a3a54/19ad674b/26s136.dir <pre> LDR 01108cam 2200265 a 4500 001 566639 005 20061116115409.0 008 060804s2006 nz b 000 0 eng d 035 _a 11102705 035 _9 11102705 040 _a HU _c HU 050 14 _a QA75.5 _b .W926 no.2006/08 100 1 _a Reeves, Steve, _d 1957- 245 10 _a LSB = _b Live and Safe B : alternative semantics for Event B / _c Steve Reeves and David Streader. 246 33 _a Live and Safe B 260 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c 2006. 300 _a 16 p. ; _c 30 cm. 490 1 _a Working paper, _x 1170-487X ; _v 08/2006 504 _a Includes bibliographical references (p. 15-16). 650 0 _a B method (Computer science) 650 0 _a Parallel processing (Electronic computers) 700 1 _a Streader, David. 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 2006/08. 856 4 _u http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf _z http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf </pre>