skip to content
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Preview this item
ClosePreview this item
Checking...

Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Author: Graham Hutton
Publisher: Cham Springer International Publishing Cham Springer 2019
Series: Programming and Software Engineering, 11825
Edition/Format:   Computer file : English : 1st ed. 2019View all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Konferenzschrift
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: Graham Hutton
ISBN: 9783030336363 3030336360
OCLC Number: 1126545986
Description: 1 Online-Ressource (VIII, 467 p. 1652 illus., 37 illus. in color).
Series Title: Programming and Software Engineering, 11825
Responsibility: edited by Graham Hutton.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1126545986> # Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "1126545986" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/natural_language_processing_nlp> ; # Natural Language Processing (NLP)
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/math_applications_in_computer_science> ; # Math Applications in Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/mathematische_methode> ; # Mathematische Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/9612425288#Topic/system_performance_and_evaluation> ; # System Performance and Evaluation
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:bookEdition "1st ed. 2019." ;
    schema:datePublished "2019" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9612425288#Person/hutton_graham> ; # Graham Hutton
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9612425288> ;
    schema:genre "Konferenzschrift" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9612425288#Series/programming_and_software_engineering> ; # Programming and Software Engineering ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/9612425288#CreativeWork/> ;
    schema:name "Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings" ;
    schema:numberOfPages "467" ;
    schema:productID "1126545986" ;
    schema:url <https://doi.org/10.1007/978-3-030-33636-3> ;
    schema:workExample <http://worldcat.org/isbn/9783030336363> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-33636-3> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1126545986> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9612425288#Person/hutton_graham> # Graham Hutton
    a schema:Person ;
    schema:familyName "Hutton" ;
    schema:givenName "Graham" ;
    schema:name "Graham Hutton" ;
    .

<http://experiment.worldcat.org/entity/work/data/9612425288#Series/programming_and_software_engineering> # Programming and Software Engineering ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1126545986> ; # Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
    schema:name "Programming and Software Engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9612425288#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/9612425288#Topic/math_applications_in_computer_science> # Math Applications in Computer Science
    a schema:Intangible ;
    schema:name "Math Applications in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/9612425288#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/9612425288#Topic/mathematische_methode> # Mathematische Methode
    a schema:Intangible ;
    schema:name "Mathematische Methode" ;
    .

<http://experiment.worldcat.org/entity/work/data/9612425288#Topic/natural_language_processing_nlp> # Natural Language Processing (NLP)
    a schema:Intangible ;
    schema:name "Natural Language Processing (NLP)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9612425288#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/9612425288#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
    schema:name "Softwareentwicklung" ;
    .

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

<http://worldcat.org/entity/work/data/9612425288#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1126545986> ; # Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
    .

<http://worldcat.org/isbn/9783030336363>
    a schema:ProductModel ;
    schema:isbn "3030336360" ;
    schema:isbn "9783030336363" ;
    .

<http://www.worldcat.org/title/-/oclc/1126545986>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1126545986> ; # Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
    schema:dateModified "2020-02-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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