Software verification and validation: an engineering and scientific approach
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
2007
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | 172 S. graph. Darst. |
| ISBN: | 9780387327259 0387479392 9780387479392 0387327258 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022193259 | ||
| 003 | DE-604 | ||
| 005 | 20070727 | ||
| 007 | t | ||
| 008 | 061214s2007 gw d||| |||| 00||| eng d | ||
| 015 | |a 06,N23,0024 |2 dnb | ||
| 016 | 7 | |a 979715687 |2 DE-101 | |
| 020 | |a 9780387327259 |9 978-0-387-32725-9 | ||
| 020 | |a 0387479392 |9 0-387-47939-2 | ||
| 020 | |a 9780387479392 |9 978-0-387-47939-2 | ||
| 020 | |a 0387327258 |c Gb. : EUR 82.34 (freier Pr.), sfr 130.50 (freier Pr.) |9 0-387-32725-8 | ||
| 024 | 3 | |a 9780387327259 | |
| 028 | 5 | 2 | |a 11601227 |
| 035 | |a (OCoLC)255133389 | ||
| 035 | |a (DE-599)BVBBV022193259 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-703 |a DE-384 |a DE-1051 | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Fisher, Marcus S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software verification and validation |b an engineering and scientific approach |c by Marcus S. Fisher |
| 264 | 1 | |a Berlin |b Springer |c 2007 | |
| 300 | |a 172 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2809047&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015404801&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015404801 | ||
Datensatz im Suchindex
| _version_ | 1804136167008894976 |
|---|---|
| adam_text | Contents
Chapter
Chapter
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
References
Chapter
Section
Section
Section
Section
Section
Section
Section
Section
References
Chapter
Appendix A
Index
|
| adam_txt |
Contents
Chapter
Chapter
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
Section
References
Chapter
Section
Section
Section
Section
Section
Section
Section
Section
References
Chapter
Appendix A
Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Fisher, Marcus S. |
| author_facet | Fisher, Marcus S. |
| author_role | aut |
| author_sort | Fisher, Marcus S. |
| author_variant | m s f ms msf |
| building | Verbundindex |
| bvnumber | BV022193259 |
| classification_rvk | ST 233 |
| ctrlnum | (OCoLC)255133389 (DE-599)BVBBV022193259 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01702nam a2200433 c 4500</leader><controlfield tag="001">BV022193259</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070727 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061214s2007 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N23,0024</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">979715687</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387327259</subfield><subfield code="9">978-0-387-32725-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387479392</subfield><subfield code="9">0-387-47939-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387479392</subfield><subfield code="9">978-0-387-47939-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387327258</subfield><subfield code="c">Gb. : EUR 82.34 (freier Pr.), sfr 130.50 (freier Pr.)</subfield><subfield code="9">0-387-32725-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9780387327259</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11601227</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255133389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022193259</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-1051</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fisher, Marcus S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software verification and validation</subfield><subfield code="b">an engineering and scientific approach</subfield><subfield code="c">by Marcus S. Fisher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">172 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="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="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2809047&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015404801&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015404801</subfield></datafield></record></collection> |
| id | DE-604.BV022193259 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:22:01Z |
| indexdate | 2024-07-09T20:52:05Z |
| institution | BVB |
| isbn | 9780387327259 0387479392 9780387479392 0387327258 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015404801 |
| oclc_num | 255133389 |
| open_access_boolean | |
| owner | DE-703 DE-384 DE-1051 |
| owner_facet | DE-703 DE-384 DE-1051 |
| physical | 172 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| spelling | Fisher, Marcus S. Verfasser aut Software verification and validation an engineering and scientific approach by Marcus S. Fisher Berlin Springer 2007 172 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 s DE-604 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2809047&prov=M&dok_var=1&dok_ext=htm Inhaltstext Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015404801&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fisher, Marcus S. Software verification and validation an engineering and scientific approach Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4135576-3 |
| title | Software verification and validation an engineering and scientific approach |
| title_auth | Software verification and validation an engineering and scientific approach |
| title_exact_search | Software verification and validation an engineering and scientific approach |
| title_exact_search_txtP | Software verification and validation an engineering and scientific approach |
| title_full | Software verification and validation an engineering and scientific approach by Marcus S. Fisher |
| title_fullStr | Software verification and validation an engineering and scientific approach by Marcus S. Fisher |
| title_full_unstemmed | Software verification and validation an engineering and scientific approach by Marcus S. Fisher |
| title_short | Software verification and validation |
| title_sort | software verification and validation an engineering and scientific approach |
| title_sub | an engineering and scientific approach |
| topic | Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Programmverifikation |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2809047&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015404801&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fishermarcuss softwareverificationandvalidationanengineeringandscientificapproach |