skip to content
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Author: José Proença; Markus Lumpe
Publisher: Cham Springer International Publishing 2017.
Series: SpringerLink : Bücher; Lecture notes in computer science, 10487.
Edition/Format:   eBook : EnglishView 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

Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: José Proença; Markus Lumpe
ISBN: 9783319680347 331968034X
OCLC Number: 1011387465
Description: 1 Online-Ressource (X, 251 p. 58 illus)
Series Title: SpringerLink : Bücher; Lecture notes in computer science, 10487.
Responsibility: edited by José Proença, Markus Lumpe.

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/1011387465> # Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "1011387465" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/algorithms> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/computer_logic> ; # Computer logic
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/the_computing_profession> ; # The Computing Profession
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/computers> ; # Computers
   schema:about <http://experiment.worldcat.org/entity/work/data/4522527024#Topic/mathematical_logic> ; # Mathematical logic
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4522527024#Person/proenca_jose> ; # José Proença
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4522527024#Person/lumpe_markus> ; # Markus Lumpe
   schema:datePublished "2017" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4522527024> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4522527024#Series/springerlink_bucher> ; # SpringerLink : Bücher
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4522527024#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
   schema:isSimilarTo <http://worldcat.org/entity/work/data/4522527024#CreativeWork/> ;
   schema:name "Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings" ;
   schema:numberOfPages "251" ;
   schema:productID "1011387465" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1011387465#PublicationEvent/2017> ;
   schema:url <https://doi.org/10.1007/978-3-319-68034-7> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-68034-7> ;
   schema:url <http://swbplus.bsz-bw.de/bsz494011807cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783319680347> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-68034-7> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1011387465> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-319-68034-7>
    a schema:IndividualProduct ;
   rdfs:comment "URL des Erstveröffentlichers" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Person/lumpe_markus> # Markus Lumpe
    a schema:Person ;
   schema:familyName "Lumpe" ;
   schema:givenName "Markus" ;
   schema:name "Markus Lumpe" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Person/proenca_jose> # José Proença
    a schema:Person ;
   schema:familyName "Proença" ;
   schema:givenName "José" ;
   schema:name "José Proença" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1011387465> ; # Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
   schema:name "Lecture notes in computer science" ;
   schema:name "Lecture Notes in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1011387465> ; # Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
   schema:name "SpringerLink : Bücher" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
   schema:name "Algorithm Analysis and Problem Complexity" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Topic/computer_science> # Computer Science
    a schema:Intangible ;
   schema:name "Computer Science" ;
   schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#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/4522527024#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/4522527024#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
   schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/4522527024#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)" ;
    .

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

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

<http://worldcat.org/entity/work/data/4522527024#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Erscheint auch als:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/1011387465> ; # Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319680347>
    a schema:ProductModel ;
   schema:isbn "331968034X" ;
   schema:isbn "9783319680347" ;
    .

<http://www.worldcat.org/title/-/oclc/1011387465>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/1011387465> ; # Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
   schema:dateModified "2018-11-08" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-319-68034-7>
   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.