Home

WorldCat Home About WorldCat Help

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib
Export to EndNote / Reference Manager(non-Latin) Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/1066055034 Title: Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings Author: Jing Sun; Meng Sun Publisher: Cham Springer International Publishing 2018 ISBN/ISSN: 9783030024505 3030024504 OCLC:1066055034

Please verify that you are not a robot.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Preview this item

Checking...

Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Author:	Jing Sun; Meng Sun
Publisher:	Cham Springer International Publishing 2018
Series:	Programming and Software Engineering, 11232
Edition/Format:	Computer file : EnglishView all editions and formats
Rating:	(not yet rated) 0 with reviews - Be the first.
Subjects	Software Engineering. Logics and Meanings of Programs. System Performance and Evaluation. View all subjects
More like this	Similar Items

Find a copy online

Links to this item

Volltext URL des Erstveröffentlichers

Find a copy in the library

Finding libraries that hold this item...

Details

Additional Physical Format:	Erscheint auch als: Druck-Ausgabe Erscheint auch als: Druck-Ausgabe
Material Type:	Internet resource
Document Type:	Internet Resource, Computer File
All Authors / Contributors:	Jing Sun; Meng Sun Find more information about:
ISBN:	9783030024505 3030024504
OCLC Number:	1066055034
Description:	1 Online-Ressource (XXII, 474 p. 115 illus).
Series Title:	Programming and Software Engineering, 11232
Responsibility:	edited by Jing Sun, Meng Sun.

Reviews

User-contributed reviews

Linked Data

Primary Entity

<http://www.worldcat.org/oclc/1066055034> # Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "1066055034" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5458294056#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/5458294056#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5458294056#Topic/the_computing_profession> ; # The Computing Profession
    schema:about <http://experiment.worldcat.org/entity/work/data/5458294056#Topic/special_purpose_and_application_based_systems> ; # Special Purpose and Application-Based Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/5458294056#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5458294056#Topic/system_performance_and_evaluation> ; # System Performance and Evaluation
    schema:datePublished "2018" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5458294056#Person/sun_jing> ; # Jing Sun
    schema:editor <http://experiment.worldcat.org/entity/work/data/5458294056#Person/sun_meng> ; # Meng Sun
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5458294056> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5458294056#Series/programming_and_software_engineering> ; # Programming and Software Engineering ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5458294056#CreativeWork/> ;
    schema:name "Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings" ;
    schema:numberOfPages "474" ;
    schema:productID "1066055034" ;
    schema:url <https://doi.org/10.1007/978-3-030-02450-5> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-02450-5> ;
    schema:workExample <http://worldcat.org/isbn/9783030024505> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1066055034> ;
    .

Related Entities

<http://dewey.info/class/005.1/e23/>
a schema:Intangible ;
.

<http://dx.doi.org/10.1007/978-3-030-02450-5>
a schema:IndividualProduct ;
.

<http://experiment.worldcat.org/entity/work/data/5458294056#Person/sun_jing> # Jing Sun
    a schema:Person ;
    schema:familyName "Sun" ;
    schema:givenName "Jing" ;
    schema:name "Jing Sun" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Person/sun_meng> # Meng Sun
    a schema:Person ;
    schema:familyName "Sun" ;
    schema:givenName "Meng" ;
    schema:name "Meng Sun" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Series/programming_and_software_engineering> # Programming and Software Engineering ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1066055034> ; # Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    schema:name "Programming and Software Engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Topic/special_purpose_and_application_based_systems> # Special Purpose and Application-Based Systems
    a schema:Intangible ;
    schema:name "Special Purpose and Application-Based Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Topic/system_performance_and_evaluation> # System Performance and Evaluation
    a schema:Intangible ;
    schema:name "System Performance and Evaluation" ;
    .

<http://experiment.worldcat.org/entity/work/data/5458294056#Topic/the_computing_profession> # The Computing Profession
    a schema:Intangible ;
    schema:name "The Computing Profession" ;
    .

<http://worldcat.org/entity/work/data/5458294056#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1066055034> ; # Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783030024505>
    a schema:ProductModel ;
    schema:isbn "3030024504" ;
    schema:isbn "9783030024505" ;
    .

<http://www.worldcat.org/title/-/oclc/1066055034>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1066055034> ; # Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    schema:dateModified "2019-11-24" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-030-02450-5>
rdfs:comment "URL des Erstveröffentlichers" ;
.

Content-negotiable representations

Turtle (text/turtle)
JSON-LD (application/ld+json)
RDF/XML (application/rdf+xml)
N-TRIPLES (text/plain)
HTML+RDFa (text/html)

Please sign in to WorldCat

Don't have an account? You can easily create a free account.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Search