Advances in theory and formal methods of computing: proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
"This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics,...
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
London
Imperial College Press
c1996
|
| Subjects: | |
| Online Access: | FHN01 Volltext |
| Summary: | "This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented."--Distributor's website |
| Item Description: | Title from PDF file title page (viewed November 11, 2016) |
| Physical Description: | 1 online resource (342 p.) |
| ISBN: | 9781783263455 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044633043 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1996 |||| o||u| ||||||eng d | ||
| 020 | |a 9781783263455 |c ebook |9 978-1-78326-345-5 | ||
| 024 | 7 | |a 10.1142/p028 |2 doi | |
| 035 | |a (ZDB-124-WOP)000p028 | ||
| 035 | |a (OCoLC)1012675236 | ||
| 035 | |a (DE-599)BVBBV044633043 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 004 |2 23 | |
| 245 | 1 | 0 | |a Advances in theory and formal methods of computing |b proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 |c editors, A. Edalat, S. Jourdan, G. McCusker |
| 264 | 1 | |a London |b Imperial College Press |c c1996 | |
| 300 | |a 1 online resource (342 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from PDF file title page (viewed November 11, 2016) | ||
| 520 | |a "This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented."--Distributor's website | ||
| 650 | 4 | |a Computer science / Congresses | |
| 650 | 4 | |a Formal methods (Computer science) / Congresses | |
| 650 | 4 | |a Electronic books | |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Edalat, A. |e Sonstige |4 oth | |
| 700 | 1 | |a Jourdan, S. |e Sonstige |4 oth | |
| 700 | 1 | |a McCusker, G. |e Sonstige |4 oth | |
| 710 | 2 | |a Imperial College of Science, Technology and Medicine |e Department of Computing |4 oth | |
| 710 | 2 | |a Imperial College Department of Computing Workshop on Theory and Formal Methods < 1996, Oxford, England> |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030031015 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804178043134017536 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV044633043 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)000p028 (OCoLC)1012675236 (DE-599)BVBBV044633043 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02379nmm a2200457zc 4500</leader><controlfield tag="001">BV044633043</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781783263455</subfield><subfield code="c">ebook</subfield><subfield code="9">978-1-78326-345-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/p028</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)000p028</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012675236</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044633043</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in theory and formal methods of computing</subfield><subfield code="b">proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996</subfield><subfield code="c">editors, A. Edalat, S. Jourdan, G. McCusker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Imperial College Press</subfield><subfield code="c">c1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (342 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from PDF file title page (viewed November 11, 2016)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented."--Distributor's website</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science) / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic books</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Edalat, A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jourdan, S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">McCusker, G.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Imperial College of Science, Technology and Medicine</subfield><subfield code="e">Department of Computing</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Imperial College Department of Computing Workshop on Theory and Formal Methods < 1996, Oxford, England></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030031015</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044633043 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:41Z |
| institution | BVB |
| isbn | 9781783263455 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030031015 |
| oclc_num | 1012675236 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | 1 online resource (342 p.) |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Imperial College Press |
| record_format | marc |
| spelling | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 editors, A. Edalat, S. Jourdan, G. McCusker London Imperial College Press c1996 1 online resource (342 p.) txt rdacontent c rdamedia cr rdacarrier Title from PDF file title page (viewed November 11, 2016) "This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented."--Distributor's website Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books 1\p (DE-588)1071861417 Konferenzschrift gnd-content Edalat, A. Sonstige oth Jourdan, S. Sonstige oth McCusker, G. Sonstige oth Imperial College of Science, Technology and Medicine Department of Computing oth Imperial College Department of Computing Workshop on Theory and Formal Methods < 1996, Oxford, England> Sonstige oth http://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books |
| subject_GND | (DE-588)1071861417 |
| title | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 |
| title_auth | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 |
| title_exact_search | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 |
| title_full | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 editors, A. Edalat, S. Jourdan, G. McCusker |
| title_fullStr | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 editors, A. Edalat, S. Jourdan, G. McCusker |
| title_full_unstemmed | Advances in theory and formal methods of computing proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 editors, A. Edalat, S. Jourdan, G. McCusker |
| title_short | Advances in theory and formal methods of computing |
| title_sort | advances in theory and formal methods of computing proceedings of the third imperial college workshop christ church oxford 1 3 april 1996 |
| title_sub | proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 |
| topic | Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books |
| topic_facet | Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books Konferenzschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/p028#t=toc |
| work_keys_str_mv | AT edalata advancesintheoryandformalmethodsofcomputingproceedingsofthethirdimperialcollegeworkshopchristchurchoxford13april1996 AT jourdans advancesintheoryandformalmethodsofcomputingproceedingsofthethirdimperialcollegeworkshopchristchurchoxford13april1996 AT mccuskerg advancesintheoryandformalmethodsofcomputingproceedingsofthethirdimperialcollegeworkshopchristchurchoxford13april1996 AT imperialcollegeofsciencetechnologyandmedicine advancesintheoryandformalmethodsofcomputingproceedingsofthethirdimperialcollegeworkshopchristchurchoxford13april1996 AT imperialcollegedepartmentofcomputingworkshopontheoryandformalmethods1996oxfordengland advancesintheoryandformalmethodsofcomputingproceedingsofthethirdimperialcollegeworkshopchristchurchoxford13april1996 |