<http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_conception_de> <http://schema.org/name> "Systèmes, Conception de." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_conception_de> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/813345756> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_conception_de> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85131736> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/datenverarbeitungssystem> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_temporelle> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/809688618> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/genre> "Libros electrónicos" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/specification_systeme> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/474933617> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/840303571#Organization/safari_tech_books_online> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630205295> .
<http://worldcat.org/entity/work/id/840303571> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/59554017> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems_specifications> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_symbolique_et_mathematique> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/logica_simbolica_y_matematica> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/name> "Specifying systems : the TLA+ language and tools for hardware and Software engineers" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/709684693> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_de_systemes> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/name> "Specifying systems the TLA+ language and tools for hardware and software engineers"@en .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/name> "Specifying systems the TLA+ language and tools for hardware and software engineers" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/name> "Specifying systems : the TLA [plus] language and tools for hardware and software engineers" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/301058858> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630205295> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/sistemas_para_computadoras_especificaciones> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/system_design> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_informatiques_specifications> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/900622160> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_systeme> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2636884498> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/873802862> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/840376980> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://id.worldcat.org/fast/872651> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849453702> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/genre> "Specifications" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/genre> "Specifications"@en .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh98003200> .
<http://worldcat.org/entity/work/id/840303571> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/spezifikation> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/name> "Specifying systems : the TLA+ Language and tools for hardware and software engineers" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/rendszertervezes> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/49936236> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/diseno_de_sistemas> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/427450496> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla_logik> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://id.worldcat.org/fast/1141401> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/name> "Specifying systems : the TLA+ language and tools for hardware and software engineers" .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909442543> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/logika_szimbolikus> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/840303571#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/840303571> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845511931> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/sistemas_para_computadoras_especificaciones> <http://schema.org/name> "Sistemas para computadoras Especificaciones." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/sistemas_para_computadoras_especificaciones> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/rendszertervezes> <http://schema.org/name> "Rendszertervezés." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/rendszertervezes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/system_design> <http://schema.org/name> "System design." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/system_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/system_design> <http://schema.org/name> "System design" .
<http://experiment.worldcat.org/entity/work/data/840303571#Organization/safari_tech_books_online> <http://schema.org/name> "Safari Tech Books Online." .
<http://experiment.worldcat.org/entity/work/data/840303571#Organization/safari_tech_books_online> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_symbolique_et_mathematique> <http://schema.org/name> "Logique symbolique et mathématique." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_symbolique_et_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical" .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logika_szimbolikus> <http://schema.org/name> "Logika szimbolikus." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logika_szimbolikus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/specification_systeme> <http://schema.org/name> "spécification système." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/specification_systeme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logica_simbolica_y_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_systeme> <http://schema.org/name> "conception système." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_systeme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla> <http://schema.org/name> "TLA" .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_temporelle> <http://schema.org/name> "logique temporelle." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_temporelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/datenverarbeitungssystem> <http://schema.org/name> "Datenverarbeitungssystem" .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/datenverarbeitungssystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/datenverarbeitungssystem> <http://schema.org/name> "Datenverarbeitungssystem." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla_logik> <http://schema.org/name> "TLA (Logik)" .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_de_systemes> <http://schema.org/name> "Conception de systèmes." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_de_systemes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems> <http://schema.org/name> "Computer systems" .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems> <http://schema.org/name> "Computer systems." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/diseno_de_sistemas> <http://schema.org/name> "Diseño de sistemas." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/diseno_de_sistemas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems_specifications> <http://schema.org/name> "Computer systems Specifications." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems_specifications> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/840303571.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/840303571> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/spezifikation> <http://schema.org/name> "Spezifikation" .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/spezifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/spezifikation> <http://schema.org/name> "Spezifikation." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_informatiques_specifications> <http://schema.org/name> "Systèmes informatiques Spécifications." .
<http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_informatiques_specifications> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .