Specifying systems the TLA+ language and tools for hardware and software engineers

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/840303571#Topic/systemes_conception_de
http://id.loc.gov/authorities/subjects/sh85131736
http://experiment.worldcat.org/entity/work/data/840303571#Topic/datenverarbeitungssystem
http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_temporelle
http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems
http://experiment.worldcat.org/entity/work/data/840303571#Topic/specification_systeme
http://experiment.worldcat.org/entity/work/data/840303571#Topic/computer_systems_specifications
http://experiment.worldcat.org/entity/work/data/840303571#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/840303571#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_de_systemes
http://experiment.worldcat.org/entity/work/data/840303571#Topic/sistemas_para_computadoras_especificaciones
http://experiment.worldcat.org/entity/work/data/840303571#Topic/system_design
http://experiment.worldcat.org/entity/work/data/840303571#Topic/systemes_informatiques_specifications
http://experiment.worldcat.org/entity/work/data/840303571#Topic/conception_systeme
http://id.worldcat.org/fast/872651
http://id.worldcat.org/fast/1002068
http://id.loc.gov/authorities/subjects/sh98003200
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/840303571#Topic/spezifikation
http://experiment.worldcat.org/entity/work/data/840303571#Topic/rendszertervezes
http://experiment.worldcat.org/entity/work/data/840303571#Topic/diseno_de_sistemas
http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla_logik
http://id.worldcat.org/fast/1141401
http://experiment.worldcat.org/entity/work/data/840303571#Topic/tla
http://experiment.worldcat.org/entity/work/data/840303571#Topic/logika_szimbolikus
http://experiment.worldcat.org/entity/work/data/840303571#Topic/logic_symbolic_and_mathematical

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/840303571#Organization/safari_tech_books_online
http://worldcat.org/entity/person/id/2630205295

http://schema.org/creator

http://worldcat.org/entity/person/id/2630205295
http://worldcat.org/entity/person/id/2636884498

http://schema.org/genre

"Libros electrónicos"
"Electronic books"@en
"Specifications"
"Specifications"@en

http://schema.org/name

"Specifying systems : the TLA+ language and tools for hardware and Software engineers"
"Specifying systems the TLA+ language and tools for hardware and software engineers"@en
"Specifying systems the TLA+ language and tools for hardware and software engineers"
"Specifying systems : the TLA [plus] language and tools for hardware and software engineers"
"Specifying systems : the TLA+ Language and tools for hardware and software engineers"
"Specifying systems : the TLA+ language and tools for hardware and software engineers"

http://schema.org/workExample

http://www.worldcat.org/oclc/813345756
http://www.worldcat.org/oclc/809688618
http://www.worldcat.org/oclc/474933617
http://www.worldcat.org/oclc/59554017
http://www.worldcat.org/oclc/709684693
http://www.worldcat.org/oclc/301058858
http://www.worldcat.org/oclc/900622160
http://www.worldcat.org/oclc/873802862
http://www.worldcat.org/oclc/840376980
http://www.worldcat.org/oclc/849453702
http://www.worldcat.org/oclc/49936236
http://www.worldcat.org/oclc/427450496
http://www.worldcat.org/oclc/909442543
http://www.worldcat.org/oclc/845511931

Safari Tech Books Online.

This is a placeholder reference for a Organization 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/Organization
schema:name
"Safari Tech Books Online."

http://experiment.worldcat.org/entity/work/data/840303571#Organization/safari_tech_books_online

Computer systems.

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.