Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Structured object-oriented formal la...
~
(1998 :)
Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Structured object-oriented formal language and methodedited by Shaoying Liu, Zhenhua Duan.
Reminder of title:
third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
other author:
Liu, Shaoying.
corporate name:
Published:
Cham :Springer International Publishing :2014.
Description:
x, 193 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Formal methods (Computer science)
Online resource:
http://dx.doi.org/10.1007/978-3-319-04915-1
ISBN:
9783319049151 (electronic bk.)
Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
Structured object-oriented formal language and method
third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /[electronic resource] :edited by Shaoying Liu, Zhenhua Duan. - Cham :Springer International Publishing :2014. - x, 193 p. :ill., digital ;24 cm. - Lecture notes in computer science,83320302-9743 ;. - Lecture notes in computer science ;4891..
ISBN: 9783319049151 (electronic bk.)Subjects--Topical Terms:
277520
Formal methods (Computer science)
Dewey Class. No.: 005.1015113
Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
LDR
:00965nmm a2200253 a 4500
001
433600
003
DE-He213
005
20140729090207.0
006
m d
007
cr nn 008maaau
008
141114s2014 gw s 0 eng d
020
$a
9783319049151 (electronic bk.)
020
$a
9783319049144 (paper)
035
$a
978-3-319-04915-1
040
$a
GP
$c
GP
041
0
$a
eng
082
0 4
$a
005.1015113
$2
23
090
$a
QA76.9.L63
$b
S681 2013
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Structured object-oriented formal language and method
$h
[electronic resource] :
$b
third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
$c
edited by Shaoying Liu, Zhenhua Duan.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2014.
300
$a
x, 193 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
8332
650
0
$a
Formal methods (Computer science)
$3
277520
650
0
$a
Object-oriented methods (Computer science)
$3
189353
650
0
$a
Computer science.
$3
199325
650
0
$a
Software engineering.
$3
184729
650
0
$a
Logic design.
$3
182234
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
700
1
$a
Liu, Shaoying.
$3
591640
700
1
$a
Duan, Zhenhua.
$3
678948
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-04915-1
950
$a
Computer Science (Springer-11645)
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
000000097137
電子館藏
1圖書
電子書
EB QA769L63 S681 2014
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-319-04915-1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login