MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03635nam a22005055i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231104114310.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
150416s2015 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319174044 |
| Canceled/invalid ISBN |
978-3-319-17404-4 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-17404-4 |
| Source of number or code |
doi |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
TR-AnTOB |
| Language of cataloging |
eng |
| Transcribing agency |
TR-AnTOB |
| Description conventions |
rda |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.L63 |
|
|---|
| Classification number |
QA76.5913 |
|
|---|
| Classification number |
QA76.63 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
|
|---|
| Subject category code |
COM051000 |
| Source |
bisacsh |
|
|---|
| Subject category code |
UM |
| Source |
thema |
|
|---|
| Subject category code |
UYF |
| Source |
thema005.1015113 |
| -- |
23 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
İngilizce |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Structured Object-Oriented Formal Language and Method : |
| Remainder of title |
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / |
| Statement of responsibility, etc. |
edited by Shaoying Liu, Zhenhua Duan. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2015. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Theoretical Computer Science and General Issues ; |
| Volume/sequential designation |
8979 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Testing and Inspection -- An Implementation Framework for Optimizing Test Case Generation Using Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification -- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications -- Model Checking and Animation -- Unified Bounded Model Checking for MSVL -- An Over-Approximation Forward Analysis for Nested Timed Automata -- Adopting Variable Dependency in Animation for Presenting the Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods -- Automatic Verification for Later-Correspondence of Security Protocols -- Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency -- Semantics and Analysis Formal Semantics of Orc Based on TLAþ -- Incremental Points-to Analysis for Java via Edit Propagation -- A Memory Management Mechanism for MSVL. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic design. |
|
|---|
| Topical term or geographic name entry element |
Software engineering. |
|
|---|
| Topical term or geographic name entry element |
Computer science. |
|
|---|
| Topical term or geographic name entry element |
Logics and Meanings of Programs. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I1603X |
|
|---|
| Topical term or geographic name entry element |
Software Engineering. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I14029 |
|
|---|
| Topical term or geographic name entry element |
Programming Languages, Compilers, Interpreters. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I14037 |
|
|---|
| Topical term or geographic name entry element |
Mathematical Logic and Formal Languages. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I16048 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Liu, Shaoying. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
|
|---|
| Personal name |
Duan, Zhenhua. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a> |
| Materials specified |
Springer eBooks |
| Public note |
Online access link to the resource |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
E-Book |
