Coverart for item
The Resource Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers, Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)

Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers, Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)

Label
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers
Title
Structured object-oriented formal language and method
Title remainder
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers
Statement of responsibility
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Title variation
SOFL+MSVL 2016
Creator
Contributor
Editor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1015113
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2016
http://bibfra.me/vocab/lite/meetingName
SOFL+MSVL (Workshop)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Liu, Shaoying
  • Duan, Zhenhua
  • Tian, Cong
  • Nagoya, Fumiko
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
10189
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Object-oriented methods (Computer science)
Label
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers, Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (x, 239 pages)
File format
unknown
Form of item
online
Isbn
9783319577081
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-57708-1
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
ocn984126930
Label
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers, Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (x, 239 pages)
File format
unknown
Form of item
online
Isbn
9783319577081
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-57708-1
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
ocn984126930

Library Locations

Processing Feedback ...