skip to content
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings Preview this item
ClosePreview this item
Checking...

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings

Author: Bernhard Möller
Publisher: Berlin [u.a.] Springer 1995
Series: Lecture notes in computer science, 947
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Mathematics of Program Construction.
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: Kongreß
Conference papers and proceedings
Kongress
Congresses
Named Person: Mathematik
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Bernhard Möller
ISBN: 3540601171 9783540601173
OCLC Number: 845029972
In: Möller, Bernhard
Notes: Literaturangaben
Description: VIII, 472 S graph. Darst
Series Title: Lecture notes in computer science, 947
Responsibility: Bernhard Möller (ed.)
More information:

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/845029972> # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "845029972" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856109963#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://dewey.info/class/004.20151/> ;
   schema:about <http://viaf.org/viaf/106206864> ; # Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Place/irsee_1995> ; # Irsee <1995>
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Thing/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/3856109963#Topic/mathematik> ; # Mathematik
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856109963#Meeting/mpc_3_1995_irsee> ; # MPC 3 1995 Irsee
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856109963#Meeting/international_conference_mathematics_of_program_construction_mpc_3_1995_07_17_21_irsee> ; # International Conference Mathematics of Program Construction, MPC (3 1995.07.17-21 Irsee)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856109963#Person/moller_bernhard> ; # Bernhard Möller
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3856109963> ;
   schema:genre "Conference papers and proceedings" ;
   schema:genre "Kongreß" ;
   schema:genre "Kongress" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856109963#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856109963#Series/> ; #
   schema:name "Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings" ;
   schema:productID "845029972" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845029972#PublicationEvent/berlin_u_a_springer1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3856109963#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz047127503cov.htm> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540601173.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540601173> ;
   umbel:isLike <http://d-nb.info/944624855> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845029972> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3856109963#Meeting/international_conference_mathematics_of_program_construction_mpc_3_1995_07_17_21_irsee> # International Conference Mathematics of Program Construction, MPC (3 1995.07.17-21 Irsee)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3856109963#Place/irsee> ; # Irsee)
   schema:name "International Conference Mathematics of Program Construction, MPC (3 1995.07.17-21 Irsee)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Person/moller_bernhard> # Bernhard Möller
    a schema:Person ;
   schema:familyName "Möller" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Möller" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845029972> ; # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856109963#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845029972> ; # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings
   schema:name "Lecture notes in computer science" ;
    .

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

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming" ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics" ;
    .

<http://viaf.org/viaf/106206864> # Mathematik
    a schema:Person ;
   schema:givenName "Mathematik" ;
   schema:name "Mathematik" ;
    .

<http://worldcat.org/isbn/9783540601173>
    a schema:ProductModel ;
   schema:isbn "3540601171" ;
   schema:isbn "9783540601173" ;
    .

<http://www.worldcat.org/title/-/oclc/845029972>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/845029972> ; # Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 ; proceedings
   schema:dateModified "2017-10-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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