Relating state transformation semantics and predicate transformer semantics for parallel programs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Amsterdam
Centrum voor Wiskunde en Informatica
1993
|
| Beschreibung: | 20 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024389212 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t | ||
| 008 | 940322s1993 d||| t||| 00||| und d | ||
| 035 | |a (OCoLC)916410464 | ||
| 035 | |a (DE-599)BVBBV024389212 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | |a und | ||
| 049 | |a DE-83 | ||
| 088 | |a CS R9339 | ||
| 100 | 1 | |a Breugel, Franck van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Relating state transformation semantics and predicate transformer semantics for parallel programs |c F. van Breugel |
| 264 | 1 | |a Amsterdam |b Centrum voor Wiskunde en Informatica |c 1993 | |
| 300 | |a 20 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018368558 | ||
Datensatz im Suchindex
| _version_ | 1804140350893195264 |
|---|---|
| any_adam_object | |
| author | Breugel, Franck van |
| author_facet | Breugel, Franck van |
| author_role | aut |
| author_sort | Breugel, Franck van |
| author_variant | f v b fv fvb |
| building | Verbundindex |
| bvnumber | BV024389212 |
| ctrlnum | (OCoLC)916410464 (DE-599)BVBBV024389212 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00772nam a2200253 c 4500</leader><controlfield tag="001">BV024389212</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940322s1993 d||| t||| 00||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)916410464</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024389212</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CS R9339</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Breugel, Franck van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relating state transformation semantics and predicate transformer semantics for parallel programs</subfield><subfield code="c">F. van Breugel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Centrum voor Wiskunde en Informatica</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018368558</subfield></datafield></record></collection> |
| id | DE-604.BV024389212 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:58:35Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018368558 |
| oclc_num | 916410464 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 20 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Centrum voor Wiskunde en Informatica |
| record_format | marc |
| spelling | Breugel, Franck van Verfasser aut Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel Amsterdam Centrum voor Wiskunde en Informatica 1993 20 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier |
| spellingShingle | Breugel, Franck van Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_auth | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_exact_search | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_full | Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel |
| title_fullStr | Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel |
| title_full_unstemmed | Relating state transformation semantics and predicate transformer semantics for parallel programs F. van Breugel |
| title_short | Relating state transformation semantics and predicate transformer semantics for parallel programs |
| title_sort | relating state transformation semantics and predicate transformer semantics for parallel programs |
| work_keys_str_mv | AT breugelfranckvan relatingstatetransformationsemanticsandpredicatetransformersemanticsforparallelprograms |