ECU Libraries Catalog
Librarian View
LEADER 02559cam 22005417a 4500
001
ssj0000316430
003
WaSeSS
005
20240512155341.0
006
m d
007
cr n
008
061114s2006 gw a sb 101 0 eng d
010
a| 2006938539
016
7
a| 982032307
2| GyFmDB
020
a| 9783540687603 (pbk.)
020
a| 3540687602 (pbk.)
035
a| (WaSeSS)ssj0000316430
040
a| OHX
c| OHX
d| CUS
d| DLC
d| WaSeSS
042
a| lccopycat
049
a| EREE
a| NEHH
050
0
0
a| QA76.9.B22
b| I57 2007
082
0
0
a| 004.2/4
2| 22
111
2
a| International B Conference
n| (7th :
d| 2007 :
c| Besançon, France)
245
1
0
a| B 2007
h| [electronic resource] :
b| formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings /
c| Jacques Julliand, Olga Kouchnarenko (eds.).
246
3
0
a| 7th International Conference of B Users
246
3
a| Seventh International Conference of B Users
246
3
0
a| International Conference of B Users
260
a| Berlin ;
a| New York :
b| Springer,
300
a| xiii, 292 p. :
b| ill. ;
c| 24 cm.
440
0
a| Lecture notes in computer science ;
v| 4355
504
a| Includes bibliographical references and index.
506
a| Available only to authorized users.
538
a| Mode of access: World Wide Web
650
0
a| B method (Computer science)
v| Congresses.
650
0
a| Debugging in computer science
v| Congresses.
655
0
a| Electronic books.
700
1
a| Julliand, Jacques.
700
1
a| Kouchnarenko, Olga.
856
4
0
z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-68760-3
856
4
0
z| Full text available from Springer Books
u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F11955757
947
a| (OCoLC)ocm77482382
949
a| CLICK ON WEB ADDRESS
w| ASIS
h| JOYNER188
949
a| CLICK ON WEB ADDRESS
w| ASIS
h| HSL77
949
a| CLICK ON WEB ADDRESS
w| ASIS
h| JMUSIC60
596
a| 1 3 4
998
a| 3983698
999
a| CLICK ON WEB ADDRESS
w| ASIS
c| 1
i| 3983698-1001
l| JNET
m| JOYNER
r| Y
s| Y
t| JNESSBK
u| 1/1/2016
x| EBOOK
z| JERESOURCE
999
a| CLICK ON WEB ADDRESS
w| ASIS
c| 1
i| 3983698-2001
l| HSLELEC
m| HSL
r| Y
s| Y
t| HEBK
u| 1/1/2016
x| EBOOK
z| HERESOURCE
999
a| CLICK ON WEB ADDRESS
w| ASIS
c| 1
i| 3983698-3001
l| MNET
m| JMUSIC
r| Y
s| Y
t| MNESSBK
u| 1/1/2016
x| EBOOK
z| JERESOURCE