Linked Data Explorerhttp://worldcat.org/entity/work/id/41244848
Advances in theory and formal methods of computing
Open All Close All
http://schema.org/contributor
- http://worldcat.org/entity/person/id/2642977811
- http://worldcat.org/entity/person/id/2699577889
- http://experiment.worldcat.org/entity/work/data/41244848#Organization/imperial_college_of_science_technology_and_medicine_london_theory_and_formal_methods_section
- http://id.loc.gov/authorities/names/n93053395
- http://worldcat.org/entity/person/id/2632408739
- http://worldcat.org/entity/person/id/2732631112
- http://viaf.org/viaf/137936997
- http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods
- http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england
- http://id.loc.gov/authorities/names/n93053200
- http://worldcat.org/entity/person/id/2648359859
- http://viaf.org/viaf/159594325
http://schema.org/genre
- "Conference papers and proceedings"
http://schema.org/name
- "Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996"
- "Advances in theory and formal methods of computing"@en
- "Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996"