Modular specification and verification of object oriented programs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2262 |
| Schlagworte: | |
| Beschreibung: | XIV, 292 S. |
| ISBN: | 3540431675 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014076907 | ||
| 003 | DE-604 | ||
| 005 | 20220310 | ||
| 007 | t | ||
| 008 | 020102s2002 gw m||| 00||| eng d | ||
| 016 | 7 | |a 963457063 |2 DE-101 | |
| 020 | |a 3540431675 |9 3-540-43167-5 | ||
| 035 | |a (OCoLC)49035992 | ||
| 035 | |a (DE-599)BVBBV014076907 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-634 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.64 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 315f |2 stub | ||
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 100 | 1 | |a Müller, Peter |d 1972- |e Verfasser |0 (DE-588)12391356X |4 aut | |
| 245 | 1 | 0 | |a Modular specification and verification of object oriented programs |c Peter Müller |
| 246 | 1 | 0 | |a object-oriented |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2002 | |
| 300 | |a XIV, 292 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2262 | |
| 502 | |b Dissertation |c Fernuniversität Hagen |d 2001 | ||
| 650 | 4 | |a Logiciels - Développement | |
| 650 | 7 | |a Logiciels - Développement |2 ram | |
| 650 | 4 | |a Programmation modulaire | |
| 650 | 7 | |a Programmation modulaire |2 ram | |
| 650 | 4 | |a Programmation orientée objet (Informatique) | |
| 650 | 7 | |a Programmation orientée objets (informatique) |2 ram | |
| 650 | 7 | |a logiciel modulaire |2 inriac | |
| 650 | 7 | |a programmation par objets |2 inriac | |
| 650 | 7 | |a spécification logiciel |2 inriac | |
| 650 | 7 | |a vérification logiciel |2 inriac | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Modular programming | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 0 | 7 | |a Modulare Programmierung |0 (DE-588)4120756-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typsystem |0 (DE-588)4625224-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 3 | |a Modulare Programmierung |0 (DE-588)4120756-7 |D s |
| 689 | 0 | 4 | |a Typsystem |0 (DE-588)4625224-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 2262 |w (DE-604)BV000000607 |9 2262 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009641597 | ||
Datensatz im Suchindex
| _version_ | 1804128940459032576 |
|---|---|
| any_adam_object | |
| author | Müller, Peter 1972- |
| author_GND | (DE-588)12391356X |
| author_facet | Müller, Peter 1972- |
| author_role | aut |
| author_sort | Müller, Peter 1972- |
| author_variant | p m pm |
| building | Verbundindex |
| bvnumber | BV014076907 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.64 |
| callnumber-search | QA76.64 |
| callnumber-sort | QA 276.64 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 315f DAT 335f DAT 325f |
| ctrlnum | (OCoLC)49035992 (DE-599)BVBBV014076907 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02646nam a22006978cb4500</leader><controlfield tag="001">BV014076907</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220310 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020102s2002 gw m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963457063</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540431675</subfield><subfield code="9">3-540-43167-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49035992</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014076907</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.64</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Müller, Peter</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12391356X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modular specification and verification of object oriented programs</subfield><subfield code="c">Peter Müller</subfield></datafield><datafield tag="246" ind1="1" ind2="0"><subfield code="a">object-oriented</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 292 S.</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2262</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Fernuniversität Hagen</subfield><subfield code="d">2001</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation modulaire</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation modulaire</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation orientée objet (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation orientée objets (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logiciel modulaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation par objets</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modular programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modulare Programmierung</subfield><subfield code="0">(DE-588)4120756-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modulare Programmierung</subfield><subfield code="0">(DE-588)4120756-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2262</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2262</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009641597</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV014076907 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:57:13Z |
| institution | BVB |
| isbn | 3540431675 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009641597 |
| oclc_num | 49035992 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-634 DE-83 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-634 DE-83 DE-706 |
| physical | XIV, 292 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Müller, Peter 1972- Verfasser (DE-588)12391356X aut Modular specification and verification of object oriented programs Peter Müller object-oriented Berlin [u.a.] Springer 2002 XIV, 292 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2262 Dissertation Fernuniversität Hagen 2001 Logiciels - Développement Logiciels - Développement ram Programmation modulaire Programmation modulaire ram Programmation orientée objet (Informatique) Programmation orientée objets (informatique) ram logiciel modulaire inriac programmation par objets inriac spécification logiciel inriac vérification logiciel inriac Computer software Development Modular programming Object-oriented programming (Computer science) Modulare Programmierung (DE-588)4120756-7 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Objektorientierte Programmierung (DE-588)4233947-9 s Softwarespezifikation (DE-588)4056186-0 s Programmverifikation (DE-588)4135576-3 s Modulare Programmierung (DE-588)4120756-7 s Typsystem (DE-588)4625224-1 s DE-604 Lecture notes in computer science 2262 (DE-604)BV000000607 2262 |
| spellingShingle | Müller, Peter 1972- Modular specification and verification of object oriented programs Lecture notes in computer science Logiciels - Développement Logiciels - Développement ram Programmation modulaire Programmation modulaire ram Programmation orientée objet (Informatique) Programmation orientée objets (informatique) ram logiciel modulaire inriac programmation par objets inriac spécification logiciel inriac vérification logiciel inriac Computer software Development Modular programming Object-oriented programming (Computer science) Modulare Programmierung (DE-588)4120756-7 gnd Programmverifikation (DE-588)4135576-3 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Typsystem (DE-588)4625224-1 gnd |
| subject_GND | (DE-588)4120756-7 (DE-588)4135576-3 (DE-588)4233947-9 (DE-588)4056186-0 (DE-588)4625224-1 (DE-588)4113937-9 |
| title | Modular specification and verification of object oriented programs |
| title_alt | object-oriented |
| title_auth | Modular specification and verification of object oriented programs |
| title_exact_search | Modular specification and verification of object oriented programs |
| title_full | Modular specification and verification of object oriented programs Peter Müller |
| title_fullStr | Modular specification and verification of object oriented programs Peter Müller |
| title_full_unstemmed | Modular specification and verification of object oriented programs Peter Müller |
| title_short | Modular specification and verification of object oriented programs |
| title_sort | modular specification and verification of object oriented programs |
| topic | Logiciels - Développement Logiciels - Développement ram Programmation modulaire Programmation modulaire ram Programmation orientée objet (Informatique) Programmation orientée objets (informatique) ram logiciel modulaire inriac programmation par objets inriac spécification logiciel inriac vérification logiciel inriac Computer software Development Modular programming Object-oriented programming (Computer science) Modulare Programmierung (DE-588)4120756-7 gnd Programmverifikation (DE-588)4135576-3 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Typsystem (DE-588)4625224-1 gnd |
| topic_facet | Logiciels - Développement Programmation modulaire Programmation orientée objet (Informatique) Programmation orientée objets (informatique) logiciel modulaire programmation par objets spécification logiciel vérification logiciel Computer software Development Modular programming Object-oriented programming (Computer science) Modulare Programmierung Programmverifikation Objektorientierte Programmierung Softwarespezifikation Typsystem Hochschulschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT mullerpeter modularspecificationandverificationofobjectorientedprograms AT mullerpeter objectoriented |