Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Abstract State Machines, B and ZFirs...
~
(1998 :)
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Abstract State Machines, B and Zedited by Egon Borger ... [et al.].
Reminder of title:
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
other author:
Borger, Egon.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
Description:
xii, 382 p. :ill., digital ;24 cm.
Series:
lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Machine theoryCongresses.
Online resource:
http://dx.doi.org/10.1007/978-3-540-87603-8
ISBN:
9783540876021 (paper)
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /[electronic resource] :edited by Egon Borger ... [et al.]. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - xii, 382 p. :ill., digital ;24 cm. - lecture notes in computer science,52380302-9743 ;.
ISBN: 9783540876021 (paper)Subjects--Topical Terms:
442590
Machine theory
--Congresses.
Dewey Class. No.: 511.35
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
LDR
:00920nam _22002295a_450
001
197948
003
Springer
005
20081104151527.0
006
m d
007
cr nn 008maaau
008
090528s2008 gw j eng d
020
$a
9783540876021 (paper)
020
$a
9783540876038 (electronic bk.)
035
$a
00354587
082
0 4
$2
22
$a
511.35
090
$a
QA267
$b
.A167 2008
111
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Abstract State Machines, B and Z
$b
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
$c
edited by Egon Borger ... [et al.].
$h
[electronic resource] :
260
$a
Berlin, Heidelberg :
$c
2008.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
xii, 382 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
lecture notes in computer science,
$v
5238
$x
0302-9743 ;
650
$a
Machine theory
$v
Congresses.
$3
442590
650
$a
Computer Science.
$3
212513
650
$a
Database Management.
$3
273994
650
$a
Logics and Meanings of Programs.
$3
275357
650
$a
Mathematical Logic and Formal Languages.
$3
275383
650
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
$a
Software Engineering.
$3
274511
700
$a
Borger, Egon.
$3
306066
710
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-540-87603-8
$z
http://dx.doi.org/10.1007/978-3-540-87603-8
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000022214
電子館藏
1圖書
電子書
EB QA267 A167 2008
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-540-87603-8
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login