Understanding behaviour of distributed systems using mCRL2:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Ausgabe: | 1st ed. 2023 |
| Schriftenreihe: | Studies in Systems, Decision and Control
Volume 458 |
| Schlagworte: | |
| Beschreibung: | xv, 235 Seiten Illustrationen |
| ISBN: | 9783031230073 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049377290 | ||
| 003 | DE-604 | ||
| 005 | 20231031 | ||
| 007 | t | ||
| 008 | 231023s2023 a||| |||| 00||| eng d | ||
| 020 | |a 9783031230073 |9 978-3-031-23007-3 | ||
| 035 | |a (OCoLC)1409120887 | ||
| 035 | |a (DE-599)BVBBV049377290 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 | ||
| 082 | 0 | |a 003.3 |2 23 | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a ELT 000 |2 stub | ||
| 084 | |a MAS 000 |2 stub | ||
| 100 | 1 | |a Atif, Muhammad |e Verfasser |0 (DE-588)1308096259 |4 aut | |
| 245 | 1 | 0 | |a Understanding behaviour of distributed systems using mCRL2 |c Muhammad Atif, Jan Friso Groote |
| 250 | |a 1st ed. 2023 | ||
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 300 | |a xv, 235 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in Systems, Decision and Control |v Volume 458 | |
| 650 | 4 | |a Computer Modelling | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical and Computational Biology | |
| 650 | 4 | |a Markov Process | |
| 650 | 4 | |a Mathematical Applications in Computer Science | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Biomathematics | |
| 650 | 4 | |a Markov processes | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Groote, Jan Friso |d 1965- |0 (DE-588)1071726838 |4 aut | |
| 775 | 0 | 8 | |i Äquivalent |n Druck-Ausgabe |z 978-3-031-23010-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-23008-0 |
| 830 | 0 | |a Studies in Systems, Decision and Control |v Volume 458 |w (DE-604)BV041719311 |9 458 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034704991 | ||
Datensatz im Suchindex
| _version_ | 1804186076677406720 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Atif, Muhammad Groote, Jan Friso 1965- |
| author_GND | (DE-588)1308096259 (DE-588)1071726838 |
| author_facet | Atif, Muhammad Groote, Jan Friso 1965- |
| author_role | aut aut |
| author_sort | Atif, Muhammad |
| author_variant | m a ma j f g jf jfg |
| building | Verbundindex |
| bvnumber | BV049377290 |
| classification_rvk | ST 200 |
| classification_tum | ELT 000 MAS 000 |
| ctrlnum | (OCoLC)1409120887 (DE-599)BVBBV049377290 |
| dewey-full | 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.3 |
| dewey-search | 003.3 |
| dewey-sort | 13.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Elektrotechnik Maschinenbau |
| discipline_str_mv | Informatik Elektrotechnik Maschinenbau |
| edition | 1st ed. 2023 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01971nam a2200553zcb4500</leader><controlfield tag="001">BV049377290</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231031 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">231023s2023 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031230073</subfield><subfield code="9">978-3-031-23007-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1409120887</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049377290</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-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAS 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Atif, Muhammad</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1308096259</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Understanding behaviour of distributed systems using mCRL2</subfield><subfield code="c">Muhammad Atif, Jan Friso Groote</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 235 Seiten</subfield><subfield code="b">Illustrationen</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">Studies in Systems, Decision and Control</subfield><subfield code="v">Volume 458</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Modelling</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">Mathematical and Computational Biology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Markov Process</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biomathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Markov processes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Groote, Jan Friso</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)1071726838</subfield><subfield code="4">aut</subfield></datafield><datafield tag="775" ind1="0" ind2="8"><subfield code="i">Äquivalent</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-23010-3</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-23008-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in Systems, Decision and Control</subfield><subfield code="v">Volume 458</subfield><subfield code="w">(DE-604)BV041719311</subfield><subfield code="9">458</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034704991</subfield></datafield></record></collection> |
| id | DE-604.BV049377290 |
| illustrated | Illustrated |
| index_date | 2024-07-03T22:58:19Z |
| indexdate | 2024-07-10T10:05:23Z |
| institution | BVB |
| isbn | 9783031230073 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034704991 |
| oclc_num | 1409120887 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | xv, 235 Seiten Illustrationen |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Studies in Systems, Decision and Control |
| series2 | Studies in Systems, Decision and Control |
| spelling | Atif, Muhammad Verfasser (DE-588)1308096259 aut Understanding behaviour of distributed systems using mCRL2 Muhammad Atif, Jan Friso Groote 1st ed. 2023 Cham Springer [2023] xv, 235 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Studies in Systems, Decision and Control Volume 458 Computer Modelling Mathematical Logic and Foundations Mathematical and Computational Biology Markov Process Mathematical Applications in Computer Science Computer simulation Mathematical logic Biomathematics Markov processes Computer science—Mathematics Verteiltes System (DE-588)4238872-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Verteiltes System (DE-588)4238872-7 s Model Checking (DE-588)4434799-6 s DE-604 Groote, Jan Friso 1965- (DE-588)1071726838 aut Äquivalent Druck-Ausgabe 978-3-031-23010-3 Erscheint auch als Online-Ausgabe 978-3-031-23008-0 Studies in Systems, Decision and Control Volume 458 (DE-604)BV041719311 458 |
| spellingShingle | Atif, Muhammad Groote, Jan Friso 1965- Understanding behaviour of distributed systems using mCRL2 Studies in Systems, Decision and Control Computer Modelling Mathematical Logic and Foundations Mathematical and Computational Biology Markov Process Mathematical Applications in Computer Science Computer simulation Mathematical logic Biomathematics Markov processes Computer science—Mathematics Verteiltes System (DE-588)4238872-7 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4434799-6 |
| title | Understanding behaviour of distributed systems using mCRL2 |
| title_auth | Understanding behaviour of distributed systems using mCRL2 |
| title_exact_search | Understanding behaviour of distributed systems using mCRL2 |
| title_exact_search_txtP | Understanding behaviour of distributed systems using mCRL2 |
| title_full | Understanding behaviour of distributed systems using mCRL2 Muhammad Atif, Jan Friso Groote |
| title_fullStr | Understanding behaviour of distributed systems using mCRL2 Muhammad Atif, Jan Friso Groote |
| title_full_unstemmed | Understanding behaviour of distributed systems using mCRL2 Muhammad Atif, Jan Friso Groote |
| title_short | Understanding behaviour of distributed systems using mCRL2 |
| title_sort | understanding behaviour of distributed systems using mcrl2 |
| topic | Computer Modelling Mathematical Logic and Foundations Mathematical and Computational Biology Markov Process Mathematical Applications in Computer Science Computer simulation Mathematical logic Biomathematics Markov processes Computer science—Mathematics Verteiltes System (DE-588)4238872-7 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Computer Modelling Mathematical Logic and Foundations Mathematical and Computational Biology Markov Process Mathematical Applications in Computer Science Computer simulation Mathematical logic Biomathematics Markov processes Computer science—Mathematics Verteiltes System Model Checking |
| volume_link | (DE-604)BV041719311 |
| work_keys_str_mv | AT atifmuhammad understandingbehaviourofdistributedsystemsusingmcrl2 AT grootejanfriso understandingbehaviourofdistributedsystemsusingmcrl2 |