Relating state transformation semantics and predicate transformer semantics for parallel programs:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Nichtbestimmte Sprache |
| Veröffentlicht: |
Amsterdam
Centrum voor Wiskunde en Informatica
1993
|
| Umfang: | 20 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024389212 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t| | ||
| 008 | 940322s1993 xx 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 | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018368558 | |
Datensatz im Suchindex
| _version_ | 1818967792533110784 |
|---|---|
| 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>00773nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018368558</subfield></datafield></record></collection> |
| id | DE-604.BV024389212 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T13:54:26Z |
| 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 |