skip to content
Validation of Stochastic Systems : A Guide to Current Research Preview this item
ClosePreview this item
Checking...

Validation of Stochastic Systems : A Guide to Current Research

Author: Boudewijn R Haverkort; Holger Hermanns; Christel Baier; Markus Siegle; Joost-Pieter Katoen
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books, 2004.
Series: Lecture Notes in Computer Science, 2925
Edition/Format:   Computer file : Document : EnglishView all editions and formats
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: Boudewijn R Haverkort; Holger Hermanns; Christel Baier; Markus Siegle; Joost-Pieter Katoen
ISBN: 9783540246114 3540246118
OCLC Number: 493537392
Description: 1 online resource.
Details: Nécessite un lecteur de fichier PDF.
Series Title: Lecture Notes in Computer Science, 2925
Responsibility: edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle.

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/493537392> # Validation of Stochastic Systems : A Guide to Current Research
    a schema:MediaObject, bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "493537392" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/899373309#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/1046280> ; # Operating systems (Computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/computation_by_abstract_devices> ; # Computation by Abstract Devices
   schema:about <http://dewey.info/class/519.22/> ;
   schema:about <http://id.worldcat.org/fast/872518> ; # Computer simulation
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/systemes_d_exploitation_ordinateurs> ; # Systèmes d'exploitation (ordinateurs)
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/informatique> ; # Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/simulation_and_modeling> ; # Simulation and Modeling
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/analyse_stochastique> ; # Analyse stochastique
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/simulation_par_ordinateur> ; # Simulation par ordinateur
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/processus_stochastiques> ; # Processus stochastiques
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/processor_architectures> ; # Processor Architectures
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/genie_logiciel> ; # Génie logiciel
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Thing/operating_systems> ; # Operating Systems
   schema:about <http://dewey.info/class/004/> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/microprocesseurs> ; # Microprocesseurs
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/systemes_stochastiques> ; # Systèmes stochastiques
   schema:datePublished "2004" ;
   schema:editor <http://viaf.org/viaf/59929404> ; # Joost-Pieter Katoen
   schema:editor <http://experiment.worldcat.org/entity/work/data/899373309#Person/haverkort_boudewijn_r> ; # Boudewijn R Haverkort
   schema:editor <http://viaf.org/viaf/305124997> ; # Markus Siegle
   schema:editor <http://viaf.org/viaf/52611758> ; # Christel Baier
   schema:editor <http://viaf.org/viaf/22999584> ; # Holger Hermanns
   schema:exampleOfWork <http://worldcat.org/entity/work/id/899373309> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
   schema:name "Validation of Stochastic Systems : A Guide to Current Research" ;
   schema:productID "493537392" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/493537392#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_springer_e_books_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899373309#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899373309#Agent/springer_e_books> ; # Springer e-books
   schema:workExample <http://worldcat.org/isbn/9783540246114> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/493537392> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/899373309#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/899373309#Person/haverkort_boudewijn_r> # Boudewijn R Haverkort
    a schema:Person ;
   schema:familyName "Haverkort" ;
   schema:givenName "Boudewijn R." ;
   schema:name "Boudewijn R Haverkort" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Thing/computation_by_abstract_devices> # Computation by Abstract Devices
    a schema:Thing ;
   schema:name "Computation by Abstract Devices" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/899373309#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/899373309#Thing/operating_systems> # Operating Systems
    a schema:Thing ;
   schema:name "Operating Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Thing/processor_architectures> # Processor Architectures
    a schema:Thing ;
   schema:name "Processor Architectures" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Thing/simulation_and_modeling> # Simulation and Modeling
    a schema:Thing ;
   schema:name "Simulation and Modeling" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Thing/software_engineering> # Software Engineering
    a schema:Thing ;
   schema:name "Software Engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/analyse_stochastique> # Analyse stochastique
    a schema:Intangible ;
   schema:name "Analyse stochastique" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/processus_stochastiques> # Processus stochastiques
    a schema:Intangible ;
   schema:name "Processus stochastiques" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/simulation_par_ordinateur> # Simulation par ordinateur
    a schema:Intangible ;
   schema:name "Simulation par ordinateur" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/systemes_d_exploitation_ordinateurs> # Systèmes d'exploitation (ordinateurs)
    a schema:Intangible ;
   schema:name "Systèmes d'exploitation (ordinateurs)" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/systemes_stochastiques> # Systèmes stochastiques
    a schema:Intangible ;
   schema:name "Systèmes stochastiques" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1046280> # Operating systems (Computers)
    a schema:Intangible ;
   schema:name "Operating systems (Computers)" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

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

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

<http://viaf.org/viaf/22999584> # Holger Hermanns
    a schema:Person ;
   schema:familyName "Hermanns" ;
   schema:givenName "Holger" ;
   schema:name "Holger Hermanns" ;
    .

<http://viaf.org/viaf/305124997> # Markus Siegle
    a schema:Person ;
   schema:familyName "Siegle" ;
   schema:givenName "Markus" ;
   schema:name "Markus Siegle" ;
    .

<http://viaf.org/viaf/52611758> # Christel Baier
    a schema:Person ;
   schema:familyName "Baier" ;
   schema:givenName "Christel" ;
   schema:name "Christel Baier" ;
    .

<http://viaf.org/viaf/59929404> # Joost-Pieter Katoen
    a schema:Person ;
   schema:familyName "Katoen" ;
   schema:givenName "Joost-Pieter" ;
   schema:name "Joost-Pieter Katoen" ;
    .

<http://worldcat.org/isbn/9783540246114>
    a schema:ProductModel ;
   schema:isbn "3540246118" ;
   schema:isbn "9783540246114" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/493537392> ; # Validation of Stochastic Systems : A Guide to Current Research
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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