The Imperative future principles of executable temporal logic

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/836921329#Topic/software_estudios_y_conferencias
http://experiment.worldcat.org/entity/work/data/836921329#Topic/logica_simbolica_estudios_y_conferencias
http://id.worldcat.org/fast/1078704
http://experiment.worldcat.org/entity/work/data/836921329#Topic/lenguajes_de_programacion_ordenadores_estudios_y_conferencias
http://experiment.worldcat.org/entity/work/data/836921329#Topic/metatem
http://id.loc.gov/authorities/subjects/sh85078115
http://id.loc.gov/authorities/subjects/sh85029535
http://id.worldcat.org/fast/1002058
http://id.worldcat.org/fast/872537
http://experiment.worldcat.org/entity/work/data/836921329#Topic/logique_temporelle
http://experiment.worldcat.org/entity/work/data/836921329#Topic/programme_imperatif
http://id.worldcat.org/fast/1002068
http://id.loc.gov/authorities/subjects/sh85107313
http://id.loc.gov/authorities/subjects/sh93000022
http://experiment.worldcat.org/entity/work/data/836921329#Topic/temporal_logic_computer_program_language

http://schema.org/contributor

http://worldcat.org/entity/person/id/2634706750
http://worldcat.org/entity/person/id/2642233360
http://worldcat.org/entity/person/id/2632231902

http://schema.org/creator

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

http://schema.org/name

"The Imperative future : principles of executable temporal logic"
"The Imperative Future : Principles of executable temporal logic"
"The Imperative future principles of executable temporal logic"@en
"The imperative future : principles of executable temporal logic"@en
"The imperative future : principles of executable temporal logic"

http://schema.org/workExample

http://www.worldcat.org/oclc/493621374
http://www.worldcat.org/oclc/605012498
http://www.worldcat.org/oclc/60307645
http://www.worldcat.org/oclc/878760627
http://www.worldcat.org/oclc/832509465
http://www.worldcat.org/oclc/851085502
http://www.worldcat.org/oclc/34409709

Lenguajes de programación (Ordenadores) estudios y conferencias.

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
"Lenguajes de programación (Ordenadores) estudios y conferencias."

http://experiment.worldcat.org/entity/work/data/836921329#Topic/lenguajes_de_programacion_ordenadores_estudios_y_conferencias

Lógica simbólica estudios y conferencias.

rdf:type
http://schema.org/Topic
schema:name
"Lógica simbólica estudios y conferencias."

http://experiment.worldcat.org/entity/work/data/836921329#Topic/logica_simbolica_estudios_y_conferencias

logique temporelle.

rdf:type
http://schema.org/Topic
schema:name
"logique temporelle."

http://experiment.worldcat.org/entity/work/data/836921329#Topic/logique_temporelle

METATEM.

rdf:type
http://schema.org/Topic
schema:name
"METATEM."

http://experiment.worldcat.org/entity/work/data/836921329#Topic/metatem

programme impératif.

rdf:type
http://schema.org/Topic
schema:name
"programme impératif."

http://experiment.worldcat.org/entity/work/data/836921329#Topic/programme_imperatif

Software estudios y conferencias.

rdf:type
http://schema.org/Topic
schema:name
"Software estudios y conferencias."

http://experiment.worldcat.org/entity/work/data/836921329#Topic/software_estudios_y_conferencias

Temporal Logic (Computer program language)

rdf:type
http://schema.org/Topic
schema:name
"Temporal Logic (Computer program language)"