Coverart for item
The Resource Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers, Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.)

Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers, Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.)

Label
Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers
Title
Structured object-oriented formal language and method
Title remainder
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers
Statement of responsibility
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.)
Title variation
SOFL+MSVL 2018
Creator
Contributor
Editor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2018
http://bibfra.me/vocab/lite/meetingName
SOFL+MSVL (Workshop)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Duan, Zhenhua
  • Liu, Shaoying
  • Tian, Cong
  • Nagoya, Fumiko
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
11392
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Object-oriented methods (Computer science)
Label
Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers, Zhenhua Duan, Shaoying Liu, 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 (viii, 197 pages)
File format
unknown
Form of item
online
Isbn
9783030136512
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-030-13651-2
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
Label
Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers, Zhenhua Duan, Shaoying Liu, 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 (viii, 197 pages)
File format
unknown
Form of item
online
Isbn
9783030136512
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-030-13651-2
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...