aller au contenu
Formal methods in system design. Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Formal methods in system design.

Éditeur: Netherlands : Springer.
Édition/format:   Périodique ou revue électroniques : Document : Périodique : AnglaisVoir toutes les éditions et tous les formats
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage: Document, Périodique, Ressource Internet
Type de document: Ressource Internet, Fichier d'ordinateur, Périodique / revue / journal
ISSN:1572-8102
Numéro OCLC: 796005643

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.

Ouvrages semblables

Sujet(s):(1)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<http://www.worldcat.org/oclc/796005643> # Formal methods in system design.
    a schema:Periodical, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "796005643" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2277813551#Place/netherlands> ; # Netherlands
    schema:about <http://experiment.worldcat.org/entity/work/data/2277813551#Thing/computing> ; # Computing
    schema:datePublished "1997/9999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2277813551> ;
    schema:inLanguage "en" ;
    schema:name "Formal methods in system design."@en ;
    schema:productID "796005643" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/796005643#PublicationEvent/netherlands_springer> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2277813551#Agent/springer> ; # Springer.
    schema:url <http://www.springerlink.com/content/100266> ;
    schema:workExample <http://worldcat.org/issn/1572-8102> ; # Formal methods in system design.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/796005643> ;
    .


Related Entities

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


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.