Tools

LEADER 02046cam 2200517 a 4500

001 ocm60417822;

003 OCoLC;

005 20141211182516.0;

007 cr un- ;

008 050517s2005 gw a b 101 0 eng ;

015 a| GBA5413362| bnb;

016 7 a| 0131989972| Uk;

020 a| 3540255591 (pbk.);

020 a| 9783540255598;

035 a| (Sirsi) o60417822;

035 a| (OCoLC)60417822;

042 a| ukblsr;

049 a| EREE;

082 04 a| 005.1332| 22;

090 a| QA76.73.B155b| I58 2005;

111 2 a| International Conference of B and Z Usersn| (4th :d| 2005 :c| Guildford, England)?| UNAUTHORIZED;

245 10 a| ZB 2005 :b| formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings /c| Helen Treharne [and others] (eds.).;

260 a| Berlin ;a| [London] :b| Springer,c| 2005.;

300 a| xiii, 545 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3455,x| 3402-9743 ;;

500 a| Conference proceedings.;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| B (Computer program language)v| Congresses.=| ^A383639;

650 0 a| Z (Computer program language)v| Congresses.=| ^A265170;

653 1 a| B;

653 1 a| Z;

653 1 a| Formal specification;

700 1 a| Treharne, Helen.=| ^A600728;

830 0 a| Lecture notes in computer sciencev| 3455.=| ^A466336;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3455z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

980 a| 2005-07-06b| 89d| 0e| 84.55f| 628891;

596 a| 1;

998 a| 1002020;

999 a| QA76.73.B155 I58 2005w| LCc| 1i| 30372012793581d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $84.55r| Ys| Yt| JGESBKu| 7/12/2005x| BOOKz| JSTACKSo| .STAFF. 0;

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne [and others] (eds.).

Author/creator	International Conference of B and Z Users
Other author	Treharne, Helen.
Format	Electronic
Publication Info	Berlin ; [London] : Springer, 2005.
Description	xiii, 545 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	B (Computer program language)--Congresses. Z (Computer program language)--Congresses.

Series	Lecture notes in computer science ; 3455, 3402-9743 ; Lecture notes in computer science 3455. ^A466336
General note	Conference proceedings.
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
ISBN	3540255591 (pbk.)
ISBN	9783540255598

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne [and others] (eds.).

Click here for more information about this title