skip to content
Formal methods in system design. Preview this item
ClosePreview this item
Checking...

Formal methods in system design.

Publisher: Boston, U.S.A. : Kluwer Academic Publishers, 1992-
Edition/Format:   eJournal/eMagazine : Document : Periodical : 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

Genre/Form: Periodicals
Additional Physical Format: (DLC) 93648953
(OCoLC)27005794
Material Type: Document, Periodical, Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
ISSN:0925-9856
OCLC Number: 579993341
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: volumes : illustrations ; 24 cm
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

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/579993341> # Formal methods in system design.
    a schema:Periodical, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "579993341" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1163204938#Place/boston_u_s_a> ; # Boston, U.S.A.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/1141401> ; # System design
    schema:about <http://dewey.info/class/004.21/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1163204938#Topic/systemes_conception_de_periodiques> ; # Systèmes, Conception de--Périodiques
    schema:about <http://id.loc.gov/authorities/subjects/sh85131736> ; # System design
    schema:datePublished "1992/9999" ;
    schema:datePublished "1992/" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1163204938> ;
    schema:genre "Periodicals"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/27005794> ;
    schema:name "Formal methods in system design."@en ;
    schema:productID "579993341" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/579993341#PublicationEvent/boston_u_s_a_kluwer_academic_publishers_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1163204938#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
    schema:url <http://books.google.com/books?id=dkRVAAAAMAAJ> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=journal&issn=0925-9856> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=journal&issn=0925-9856> ;
    schema:url <http://books.google.com/books?id=S0RVAAAAMAAJ> ;
    schema:url <http://books.google.com/books?id=PihVAAAAMAAJ> ;
    schema:url <http://books.google.com/books?id=PydVAAAAMAAJ> ;
    schema:url <http://search.ebscohost.com/login.aspx?CustID=s3136966&groupid=main&authtype=ip,guest&db=edspub&type=44&bQuery=AN%2029764&direct=true&site=pfi-live> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/27005794.html> ;
    schema:url <http://books.google.com/books?id=zydVAAAAMAAJ> ;
    schema:workExample <http://worldcat.org/issn/0925-9856> ; # Formal methods in system design.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/579993341> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1163204938#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
    schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/1163204938#Place/boston_u_s_a> # Boston, U.S.A.
    a schema:Place ;
    schema:name "Boston, U.S.A." ;
    .

<http://experiment.worldcat.org/entity/work/data/1163204938#Topic/systemes_conception_de_periodiques> # Systèmes, Conception de--Périodiques
    a schema:Intangible ;
    schema:name "Systèmes, Conception de--Périodiques"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85131736> # System design
    a schema:Intangible ;
    schema:name "System design"@en ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
    schema:name "System design"@en ;
    .

<http://worldcat.org/issn/0925-9856> # Formal methods in system design.
    a schema:Periodical ;
    schema:issn "0925-9856" ;
    schema:name "Formal methods in system design."@en ;
    umbel:isLike <http://worldcat.org/entity/work/id/1163204938> ;
    .

<http://www.springerlink.com/openurl.asp?genre=journal&issn=0925-9856>
    rdfs:comment "Full text from SpringerLink Contemporary - NESLi2: 01/01/1997 to present" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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