MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02664cam a22004455i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
0000348583 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
0004 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
210201s2019 gw#|||| o |||| 0|eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2019752255 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030136512 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(DE-He213)978-3-030-13651-2 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Description conventions |
pn |
| -- |
rda |
| Transcribing agency |
DLC |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Item number |
DUA |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Duan, Zhenhua |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Structured Object-Oriented Formal Language and Method |
| Medium |
Book : |
| Remainder of title |
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / |
| Statement of responsibility, etc. |
edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2019. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (VIII, 197 pages 107 illustrations, 33 illustrations in color.) |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
01 |
| Price amount |
0.00 |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Theoretical Computer Science and General Issues ; |
| Volume/sequential designation |
11392 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Theoretical Computer Science and General Issues ; |
| Volume/sequential designation |
11392 |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain. |
| 521 ## - TARGET AUDIENCE NOTE |
|---|
| Target audience note |
All. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial intelligence. |
|
|---|
| Topical term or geographic name entry element |
Computer simulation. |
| Geographic subdivision |
Computers. |
|
|---|
| Topical term or geographic name entry element |
Computer system failures. |
|
|---|
| Topical term or geographic name entry element |
Computers Science |
|
|---|
| Topical term or geographic name entry element |
Software engineering. |
|
|---|
| Topical term or geographic name entry element |
Software Engineering/Programming and Operating Systems. |
| Authority record control number or standard number |
https://scigraph.springernature.com/ontologies/product-market-codes/I14002 |
|
|---|
| Topical term or geographic name entry element |
Artificial Intelligence. |
| Authority record control number or standard number |
https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
|
|---|
| Topical term or geographic name entry element |
Computing Milieux. |
| Authority record control number or standard number |
https://scigraph.springernature.com/ontologies/product-market-codes/I24008 |
|
|---|
| Topical term or geographic name entry element |
Simulation and Modeling. |
| Authority record control number or standard number |
https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
|
|---|
| Topical term or geographic name entry element |
System Performance and Evaluation. |
| Authority record control number or standard number |
https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
|
|---|
| Topical term or geographic name entry element |
Theory of Computation. |
| Authority record control number or standard number |
https://scigraph.springernature.com/ontologies/product-market-codes/I16005 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Duan, Zhenhua. |
| Relator term |
editor. |
|
|---|
| Personal name |
Liu, Shaoying. |
| Relator term |
editor. |
|
|---|
| Personal name |
Nagoya, Fumiko. |
| Relator term |
editor. |
|
|---|
| Personal name |
Tian, Cong. |
| Relator term |
editor. |
| 852 ## - LOCATION |
|---|
| Accession No. |
10004000023697 |
| -- |
0.00 |
| Former shelving location |
Books |
