Coverart for item
The Resource Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)

Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)

Label
Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers
Title
Structured object-oriented formal language and method
Title remainder
third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers
Statement of responsibility
Shaoying Liu, Zhenhua Duan (eds.)
Creator
Contributor
Editor
Subject
Genre
Language
eng
Member of
Cataloging source
NLGGC
Dewey number
005.1015113
Government publication
unknown if item is government publication
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
SOFL+MSVL (Workshop)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Liu, Shaoying
  • Duan, Zhenhua
Series statement
  • Lecture Notes in Computer Science
  • SL1, Theoretical Computer Science and General Issues
  • LNCS sublibrary. Sl 1, Theoretical computer science and general issues
Series volume
8332.
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Object-oriented methods (Computer science)
  • Computer science
  • Software engineering
  • Logic design
Label
Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographic references and index
Control code
SPR873563171
Extent
1 online resource (x, 193 pages)
Form of item
online
Isbn
9783319049151
Other physical details
illustrations.
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)
Publication
Bibliography note
Includes bibliographic references and index
Control code
SPR873563171
Extent
1 online resource (x, 193 pages)
Form of item
online
Isbn
9783319049151
Other physical details
illustrations.
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...