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/639902031 Title: Formal aspects of computing : the international journal of formal methods. Publisher: London : Springer International, 1989- ISBN/ISSN: 1433-299X, 0934-5043 OCLC:639902031

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 aspects of computing : the international journal of formal methods.

Preview this item

Checking...

Formal aspects of computing : the international journal of formal methods.

Publisher:	London : Springer International, 1989-
Edition/Format:	eJournal/eMagazine : Periodical : EnglishView all editions and formats
Rating:	(not yet rated) 0 with reviews - Be the first.
Subjects	Computer science -- Periodicals. Electronic data processing -- Standards -- Periodicals. Formale Sprache View all subjects
More like this	Similar Items

Borrow / obtain a copy

Find a copy online

Links to this item

d-nb.info

bibliothek.uni-regensburg.de

springerlink.com

link.springer.com

Show all links

Find a copy in the library

Finding libraries that hold this item...

Details

Genre/Form:	Zeitschrift Online-Publikation Periodicals
Additional Physical Format:	Formal aspects of computing (Online)
Material Type:	Periodical, Internet resource
Document Type:	Internet Resource, Journal / Magazine / Newspaper
ISSN:	1433-299X, 0934-5043
OCLC Number:	639902031
Description:	v. ; 25 cm.
Other Titles:	Formal aspects of computing

Reviews

User-contributed reviews

Linked Data

Primary Entity

Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Agent/springer_international> # Springer International
    a bgn:Agent ;
   schema:name "Springer International" ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/computer_science> # Computer science
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008101500> ;
   schema:name "Computer science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/electronic_data_processing_standards> # Electronic data processing--Standards
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85042288> ;
   schema:name "Electronic data processing--Standards"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/formale_sprache> # Formale Sprache
    a schema:Intangible ;
   schema:name "Formale Sprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/online_publikation> # Online-Publikation
    a schema:Intangible ;
   schema:name "Online-Publikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/systementwicklung> # Systementwicklung
    a schema:Intangible ;
   schema:name "Systementwicklung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Topic/zeitschrift> # Zeitschrift
    a schema:Intangible ;
   schema:name "Zeitschrift"@en ;
    .

<http://id.loc.gov/vocabulary/countries/enk>
    a schema:Place ;
   dcterms:identifier "enk" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/907058> # Electronic data processing--Standards
    a schema:Intangible ;
   schema:name "Electronic data processing--Standards"@en ;
    .

<http://worldcat.org/entity/work/data/56495345#CreativeWork/formal_aspects_of_computing_online>
    a schema:CreativeWork ;
   rdfs:label "Formal aspects of computing (Online)" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/639902031> ; # Formal aspects of computing : the international journal of formal methods.
    .

<http://worldcat.org/entity/work/id/56495345>
   umbel:isLike <http://worldcat.org/issn/0934-5043> ; # Formal aspects of computing : the international journal of formal methods.
   umbel:isLike <http://worldcat.org/issn/1433-299X> ; # Formal aspects of computing : the international journal of formal methods.
    .

<http://worldcat.org/issn/0934-5043> # Formal aspects of computing : the international journal of formal methods.
    a schema:Periodical ;
   schema:issn "0934-5043" ;
   schema:name "Formal aspects of computing : the international journal of formal methods."@en ;
   umbel:isLike <http://worldcat.org/entity/work/id/56495345> ;
    .

<http://worldcat.org/issn/1433-299X> # Formal aspects of computing : the international journal of formal methods.
    a schema:Periodical ;
   schema:issn "1433-299X" ;
   schema:name "Formal aspects of computing : the international journal of formal methods."@en ;
   umbel:isLike <http://worldcat.org/entity/work/id/56495345> ;
    .

<http://www.worldcat.org/title/-/oclc/639902031>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/639902031> ; # Formal aspects of computing : the international journal of formal methods.
   schema:dateModified "2018-03-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/639902031#PublicationEvent/london_springer_international_1989>
    a schema:PublicationEvent ;
   schema:location <http://dbpedia.org/resource/London> ; # London
   schema:organizer <http://experiment.worldcat.org/entity/work/data/56495345#Agent/springer_international> ; # Springer International
   schema:startDate "1989-" ;
    .

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

Nearby libraries