Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London
Imperial College Press
© 1995
|
| Schlagworte: | |
| Online-Zugang: | URL des Erstveröffentlichers |
| Beschreibung: | Description based on online resource; title from PDF title page (viewed February 12, 2018). - Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994 |
| Beschreibung: | 1 Online-Ressource (446 Seiten) Illustrationen |
| ISBN: | 9781783263493 1783263490 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047124111 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 210204s1995 |||| o||u| ||||||eng d | ||
| 020 | |a 9781783263493 |9 978-1-78326-349-3 | ||
| 020 | |a 1783263490 |9 1-78326-349-0 | ||
| 024 | 7 | |a 10.1142/P003 |2 doi | |
| 035 | |a (ZDB-124-WOP)0000P003 | ||
| 035 | |a (OCoLC)1237588894 | ||
| 035 | |a (DE-599)BVBBV047124111 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.1/01/5113 |2 23 | |
| 245 | 1 | 0 | |a Theory and formal methods of computing 94 |b proceedings of the Second Imperial College Workshop |c editors, C. Hankin, I. Mackie, R. Nagarajan |
| 264 | 1 | |a London |b Imperial College Press |c © 1995 | |
| 300 | |a 1 Online-Ressource (446 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on online resource; title from PDF title page (viewed February 12, 2018). - Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994 | ||
| 650 | 4 | |a Computer science / Congresses | |
| 650 | 4 | |a Formal methods (Computer science) / Congresses | |
| 650 | 4 | |a Electronic books | |
| 700 | 1 | |a Hankin, Chris |e Sonstige |4 oth | |
| 700 | 1 | |a Mackie, I. |e Sonstige |4 oth | |
| 700 | 1 | |a Nagarajan, R. |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 < 1994, Cambridge, England> |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/P003#t=toc |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032530351 | ||
Datensatz im Suchindex
| _version_ | 1804182170635337728 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV047124111 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)0000P003 (OCoLC)1237588894 (DE-599)BVBBV047124111 |
| dewey-full | 005.1/01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 |
| dewey-search | 005.1/01/5113 |
| dewey-sort | 15.1 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01884nmm a2200409zc 4500</leader><controlfield tag="001">BV047124111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">210204s1995 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781783263493</subfield><subfield code="9">978-1-78326-349-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1783263490</subfield><subfield code="9">1-78326-349-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/P003</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)0000P003</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1237588894</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047124111</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="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and formal methods of computing 94</subfield><subfield code="b">proceedings of the Second Imperial College Workshop</subfield><subfield code="c">editors, C. Hankin, I. Mackie, R. Nagarajan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Imperial College Press</subfield><subfield code="c">© 1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (446 Seiten)</subfield><subfield code="b">Illustrationen</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">Description based on online resource; title from PDF title page (viewed February 12, 2018). - Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994</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="700" ind1="1" ind2=" "><subfield code="a">Hankin, Chris</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mackie, I.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nagarajan, R.</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 < 1994, Cambridge, 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/P003#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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-032530351</subfield></datafield></record></collection> |
| id | DE-604.BV047124111 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:30:24Z |
| indexdate | 2024-07-10T09:03:18Z |
| institution | BVB |
| isbn | 9781783263493 1783263490 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032530351 |
| oclc_num | 1237588894 |
| open_access_boolean | |
| physical | 1 Online-Ressource (446 Seiten) Illustrationen |
| psigel | ZDB-124-WOP |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Imperial College Press |
| record_format | marc |
| spelling | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop editors, C. Hankin, I. Mackie, R. Nagarajan London Imperial College Press © 1995 1 Online-Ressource (446 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Description based on online resource; title from PDF title page (viewed February 12, 2018). - Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994 Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books Hankin, Chris Sonstige oth Mackie, I. Sonstige oth Nagarajan, R. Sonstige oth Imperial College of Science, Technology and Medicine Department of Computing oth Imperial College Department of Computing Workshop on Theory and Formal Methods < 1994, Cambridge, England> Sonstige oth http://www.worldscientific.com/worldscibooks/10.1142/P003#t=toc Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books |
| title | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_auth | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_exact_search | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_exact_search_txtP | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_full | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop editors, C. Hankin, I. Mackie, R. Nagarajan |
| title_fullStr | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop editors, C. Hankin, I. Mackie, R. Nagarajan |
| title_full_unstemmed | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop editors, C. Hankin, I. Mackie, R. Nagarajan |
| title_short | Theory and formal methods of computing 94 |
| title_sort | theory and formal methods of computing 94 proceedings of the second imperial college workshop |
| title_sub | proceedings of the Second Imperial College Workshop |
| topic | Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books |
| topic_facet | Computer science / Congresses Formal methods (Computer science) / Congresses Electronic books |
| url | http://www.worldscientific.com/worldscibooks/10.1142/P003#t=toc |
| work_keys_str_mv | AT hankinchris theoryandformalmethodsofcomputing94proceedingsofthesecondimperialcollegeworkshop AT mackiei theoryandformalmethodsofcomputing94proceedingsofthesecondimperialcollegeworkshop AT nagarajanr theoryandformalmethodsofcomputing94proceedingsofthesecondimperialcollegeworkshop AT imperialcollegeofsciencetechnologyandmedicine theoryandformalmethodsofcomputing94proceedingsofthesecondimperialcollegeworkshop AT imperialcollegedepartmentofcomputingworkshopontheoryandformalmethods1994cambridgeengland theoryandformalmethodsofcomputing94proceedingsofthesecondimperialcollegeworkshop |