Runtime verification A hands-on approach in Java
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2022]
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048648826 | ||
| 003 | DE-604 | ||
| 005 | 20230406 | ||
| 007 | t| | ||
| 008 | 230113s2022 xx a||| |||| 00||| eng d | ||
| 020 | |a 9783031092664 |9 978-3-031-09266-4 | ||
| 035 | |a (OCoLC)1376414987 | ||
| 035 | |a (DE-599)BVBBV048648826 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Colombo, Christian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Runtime verification |b A hands-on approach in Java |c Christian Colombo, Gordon J. Pace |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 264 | 4 | |c © 2022 | |
| 300 | |a xii, 205 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 700 | 1 | |a Pace, Gordon J. |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-09268-8 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034023657 | |
Datensatz im Suchindex
| _version_ | 1819314154750607360 |
|---|---|
| any_adam_object | |
| author | Colombo, Christian Pace, Gordon J. |
| author_facet | Colombo, Christian Pace, Gordon J. |
| author_role | aut aut |
| author_sort | Colombo, Christian |
| author_variant | c c cc g j p gj gjp |
| building | Verbundindex |
| bvnumber | BV048648826 |
| classification_rvk | ST 250 ST 233 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1376414987 (DE-599)BVBBV048648826 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01398nam a2200445 c 4500</leader><controlfield tag="001">BV048648826</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230406 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230113s2022 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031092664</subfield><subfield code="9">978-3-031-09266-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1376414987</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048648826</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</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">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Colombo, Christian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Runtime verification</subfield><subfield code="b">A hands-on approach in Java</subfield><subfield code="c">Christian Colombo, Gordon J. Pace</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 205 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pace, Gordon J.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-031-09268-8</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034023657</subfield></datafield></record></collection> |
| id | DE-604.BV048648826 |
| illustrated | Illustrated |
| indexdate | 2024-12-24T09:39:42Z |
| institution | BVB |
| isbn | 9783031092664 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034023657 |
| oclc_num | 1376414987 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | xii, 205 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| spelling | Colombo, Christian Verfasser aut Runtime verification A hands-on approach in Java Christian Colombo, Gordon J. Pace Cham Springer [2022] © 2022 xii, 205 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Software Engineering Theory of Computation Mathematics of Computing Mathematical Logic and Foundations Software engineering Computer science Computer science—Mathematics Mathematical logic Pace, Gordon J. aut Erscheint auch als Online-Ausgabe 978-3-031-09268-8 |
| spellingShingle | Colombo, Christian Pace, Gordon J. Runtime verification A hands-on approach in Java Software Engineering Theory of Computation Mathematics of Computing Mathematical Logic and Foundations Software engineering Computer science Computer science—Mathematics Mathematical logic |
| title | Runtime verification A hands-on approach in Java |
| title_auth | Runtime verification A hands-on approach in Java |
| title_exact_search | Runtime verification A hands-on approach in Java |
| title_full | Runtime verification A hands-on approach in Java Christian Colombo, Gordon J. Pace |
| title_fullStr | Runtime verification A hands-on approach in Java Christian Colombo, Gordon J. Pace |
| title_full_unstemmed | Runtime verification A hands-on approach in Java Christian Colombo, Gordon J. Pace |
| title_short | Runtime verification |
| title_sort | runtime verification a hands on approach in java |
| title_sub | A hands-on approach in Java |
| topic | Software Engineering Theory of Computation Mathematics of Computing Mathematical Logic and Foundations Software engineering Computer science Computer science—Mathematics Mathematical logic |
| topic_facet | Software Engineering Theory of Computation Mathematics of Computing Mathematical Logic and Foundations Software engineering Computer science Computer science—Mathematics Mathematical logic |
| work_keys_str_mv | AT colombochristian runtimeverificationahandsonapproachinjava AT pacegordonj runtimeverificationahandsonapproachinjava |