Model checking

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_systems_verification
http://experiment.worldcat.org/entity/work/data/993542#Topic/program_ellenorzo
http://experiment.worldcat.org/entity/work/data/993542#Topic/computersystemen
http://experiment.worldcat.org/entity/work/data/993542#Topic/software_engineering
http://experiment.worldcat.org/entity/work/data/993542#Topic/verificatie
http://id.worldcat.org/fast/872651
http://experiment.worldcat.org/entity/work/data/993542#Topic/systemes_informatiques_evaluation
http://experiment.worldcat.org/entity/work/data/993542#Topic/datenverarbeitungssystem
http://experiment.worldcat.org/entity/work/data/993542#Topic/systemes_experts_informatique_verification
http://experiment.worldcat.org/entity/work/data/993542#Topic/systeme_informatique
http://experiment.worldcat.org/entity/work/data/993542#Topic/programmverifikation
http://experiment.worldcat.org/entity/work/data/993542#Topic/model_checking_informatique
http://experiment.worldcat.org/entity/work/data/993542#Topic/ingenieria_del_software
http://experiment.worldcat.org/entity/work/data/993542#Topic/ingenieria_de_sistemas
http://experiment.worldcat.org/entity/work/data/993542#Topic/circuitos_logicos_diseno_verificacion
http://experiment.worldcat.org/entity/work/data/993542#Topic/computers_software_development_&_engineering_systems_analysis_&_design
http://experiment.worldcat.org/entity/work/data/993542#Topic/engenharia_de_software
http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacion_de_sistemas_computacionales
http://experiment.worldcat.org/entity/work/data/993542#Topic/systeme_informatique_verification
http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_networks_testing
http://experiment.worldcat.org/entity/work/data/993542#Topic/methode_formelle
http://id.loc.gov/authorities/subjects/sh98003200
http://experiment.worldcat.org/entity/work/data/993542#Topic/sistemas_de_computacion_verificacion
http://experiment.worldcat.org/entity/work/data/993542#Topic/model_checking
http://id.loc.gov/authorities/subjects/sh2008002946
http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_software_testing
http://experiment.worldcat.org/entity/work/data/993542#Topic/modellen
http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacao_e_validacao_de_software
http://experiment.worldcat.org/entity/work/data/993542#Topic/logic_circuits_design_testing
http://experiment.worldcat.org/entity/work/data/993542#Topic/automatak_elmelete
http://experiment.worldcat.org/entity/work/data/993542#Topic/modellalkotas_matematikai_rendszerelmelet
http://experiment.worldcat.org/entity/work/data/993542#Topic/concurrence
http://experiment.worldcat.org/entity/work/data/993542#Topic/elaboratori_elettronici_sistemi_integrati_verifica
http://experiment.worldcat.org/entity/work/data/993542#Topic/verification_modele
http://experiment.worldcat.org/entity/work/data/993542#Topic/software_verificacion
http://experiment.worldcat.org/entity/work/data/993542#Topic/modellen_theorie
http://experiment.worldcat.org/entity/work/data/993542#Topic/logiciels_verification
http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacio_de_programes
http://experiment.worldcat.org/entity/work/data/993542#Topic/redes_de_ordenadores_verificacion
http://experiment.worldcat.org/entity/work/data/993542#Topic/rendszerelemzes_szamitogepes
http://id.worldcat.org/fast/1750859
http://experiment.worldcat.org/entity/work/data/993542#Topic/programteszteles

http://schema.org/author

http://worldcat.org/entity/person/id/2643050526
http://worldcat.org/entity/person/id/2634431333
http://worldcat.org/entity/person/id/2642460774

http://schema.org/contributor

http://worldcat.org/entity/person/id/2642460774
http://worldcat.org/entity/person/id/2643050526

http://schema.org/creator

http://worldcat.org/entity/person/id/2634431333

http://schema.org/description

"This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers."

http://schema.org/workExample

http://www.worldcat.org/oclc/717861034
http://www.worldcat.org/oclc/862309545
http://www.worldcat.org/oclc/782888085
http://www.worldcat.org/oclc/471778624
http://www.worldcat.org/oclc/635067301
http://www.worldcat.org/oclc/49568935
http://www.worldcat.org/oclc/912300265
http://www.worldcat.org/oclc/689513822
http://www.worldcat.org/oclc/255151479
http://www.worldcat.org/oclc/247957909
http://www.worldcat.org/oclc/856797203
http://www.worldcat.org/oclc/248427511
http://www.worldcat.org/oclc/300131725
http://www.worldcat.org/oclc/265669545
http://www.worldcat.org/oclc/318255149
http://www.worldcat.org/oclc/799193855
http://www.worldcat.org/oclc/807854517
http://www.worldcat.org/oclc/40675218
http://www.worldcat.org/oclc/909332099

Automaták elmélete.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Automaták elmélete."