skip to content
Mathematical Foundations of Programming Semantics : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings Preview this item
ClosePreview this item
Checking...

Mathematical Foundations of Programming Semantics : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings

Author: A Melton; M Mislove; Michael Main; D Schmidt
Publisher: New York, NY : Springer-Verlag : Springer e-books, 2005.
Series: Lecture Notes in Computer Science, 442
Edition/Format:   Computer file : Document : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Material Type: Document
Document Type: Computer File
All Authors / Contributors: A Melton; M Mislove; Michael Main; D Schmidt
ISBN: 9780387348087 0387348085
OCLC Number: 801033965
Description: 1 online resource.
Details: Nécessite un lecteur de fichier PDF.
Series Title: Lecture Notes in Computer Science, 442
Responsibility: edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

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/801033965> # Mathematical Foundations of Programming Semantics 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings
    a schema:CreativeWork, schema:MediaObject, bgn:ComputerFile ;
    library:oclcnum "801033965" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1065555575#Place/new_york_ny> ; # New York, NY
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/logic_design> ; # Logic design
    schema:about <http://dewey.info/class/004/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
    schema:about <http://dewey.info/class/005.131/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/algorithmes> ; # Algorithmes
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Thing/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
    schema:about <http://experiment.worldcat.org/entity/work/data/1065555575#Thing/computer_science> ; # Computer Science
    schema:datePublished "2005" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/1065555575#Person/schmidt_d> ; # D Schmidt
    schema:editor <http://experiment.worldcat.org/entity/work/data/1065555575#Person/mislove_m> ; # M Mislove
    schema:editor <http://experiment.worldcat.org/entity/work/data/1065555575#Person/melton_a> ; # A Melton
    schema:editor <http://experiment.worldcat.org/entity/work/data/1065555575#Person/main_michael_1956> ; # Michael Main
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1065555575> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
    schema:name "Mathematical Foundations of Programming Semantics 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings" ;
    schema:productID "801033965" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/801033965#PublicationEvent/new_york_ny_springer_verlag_springer_e_books_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1065555575#Agent/springer_verlag> ; # Springer-Verlag
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1065555575#Agent/springer_e_books> ; # Springer e-books
    schema:workExample <http://worldcat.org/isbn/9780387348087> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/801033965> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1065555575#Agent/springer_e_books> # Springer e-books
    a bgn:Agent ;
    schema:name "Springer e-books" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Person/main_michael_1956> # Michael Main
    a schema:Person ;
    schema:birthDate "1956" ;
    schema:deathDate "" ;
    schema:familyName "Main" ;
    schema:givenName "Michael" ;
    schema:name "Michael Main" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Person/melton_a> # A Melton
    a schema:Person ;
    schema:familyName "Melton" ;
    schema:givenName "A." ;
    schema:name "A Melton" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Person/mislove_m> # M Mislove
    a schema:Person ;
    schema:familyName "Mislove" ;
    schema:givenName "M." ;
    schema:name "M Mislove" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Person/schmidt_d> # D Schmidt
    a schema:Person ;
    schema:familyName "Schmidt" ;
    schema:givenName "D." ;
    schema:name "D Schmidt" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1065555575#Thing/computer_science> # Computer Science
    a schema:Thing ;
    schema:name "Computer Science" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1065555575#Thing/programming_techniques> # Programming Techniques
    a schema:Thing ;
    schema:name "Programming Techniques" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Topic/computer_software> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
    schema:name "Langages de programmation--Sémantique" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065555575#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation" ;
    .

<http://worldcat.org/isbn/9780387348087>
    a schema:ProductModel ;
    schema:isbn "0387348085" ;
    schema:isbn "9780387348087" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/801033965> ; # Mathematical Foundations of Programming Semantics 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/801033965>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/801033965> ; # Mathematical Foundations of Programming Semantics 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29-April 1, 1989 Proceedings
    schema:dateModified "2016-06-16" ;
    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.