Communicating embedded systems: software and design : formal methods
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a cl...
Gespeichert in:
| Weitere beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
London Hoboken
ISTE, Ltd. ;
2010
London Hoboken Wiley 2010 |
| Schriftenreihe: | ISTE
|
| Schlagwörter: | |
| Links: | https://learning.oreilly.com/library/view/-/9781118600092/?ar |
| Zusammenfassung: | The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. |
| Beschreibung: | Includes bibliographical references and index. - Print version record |
| Umfang: | 1 Online-Ressource (275 Seiten) |
| ISBN: | 9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450 |
Internformat
MARC
| LEADER | 00000cam a22000002 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-047538643 | ||
| 003 | DE-627-1 | ||
| 005 | 20240228115150.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191023s2010 xx |||||o 00| ||eng c | ||
| 020 | |a 9781118558188 |c electronic bk. |9 978-1-118-55818-8 | ||
| 020 | |a 1118558189 |c electronic bk. |9 1-118-55818-9 | ||
| 020 | |a 9781118600122 |c electronic bk. |9 978-1-118-60012-2 | ||
| 020 | |a 1118600126 |c electronic bk. |9 1-118-60012-6 | ||
| 020 | |a 9781118600092 |9 978-1-118-60009-2 | ||
| 020 | |a 1118600096 |9 1-118-60009-6 | ||
| 020 | |a 1848211430 |9 1-84821-143-0 | ||
| 020 | |a 9781848211438 |9 978-1-84821-143-8 | ||
| 020 | |a 1299187455 |c ebk |9 1-299-18745-5 | ||
| 020 | |a 9781299187450 |c ebk |9 978-1-299-18745-0 | ||
| 035 | |a (DE-627-1)047538643 | ||
| 035 | |a (DE-599)KEP047538643 | ||
| 035 | |a (ORHE)9781118600092 | ||
| 035 | |a (DE-627-1)047538643 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 082 | 0 | |a 621.39 | |
| 245 | 1 | 0 | |a Communicating embedded systems |b software and design : formal methods |c edited by Claude Hard, Olivier H. Roux |
| 264 | 1 | |a London |a Hoboken |b ISTE, Ltd. ; |c 2010 | |
| 264 | 1 | |a London |a Hoboken |b Wiley |c 2010 | |
| 300 | |a 1 Online-Ressource (275 Seiten) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 490 | 0 | |a ISTE | |
| 500 | |a Includes bibliographical references and index. - Print version record | ||
| 520 | |a The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. | ||
| 650 | 0 | |a Embedded computer systems |x Programming | |
| 650 | 0 | |a Embedded computer systems |x Design and construction | |
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Méthodes formelles (Informatique) | |
| 650 | 4 | |a COMPUTERS ; Computer Engineering | |
| 650 | 4 | |a COMPUTERS ; Hardware ; General | |
| 650 | 4 | |a COMPUTERS ; Machine Theory | |
| 650 | 4 | |a Embedded computer systems ; Design and construction | |
| 650 | 4 | |a Embedded computer systems ; Programming | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 700 | 1 | |a Jard, Claude |e MitwirkendeR |4 ctb | |
| 700 | 1 | |a Roux, Olivier H. |e MitwirkendeR |4 ctb | |
| 776 | 1 | |z 9781848211438 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781848211438 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9781118600092/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-047538643 |
|---|---|
| _version_ | 1821494885870469120 |
| adam_text | |
| any_adam_object | |
| author2 | Jard, Claude Roux, Olivier H. |
| author2_role | ctb ctb |
| author2_variant | c j cj o h r oh ohr |
| author_facet | Jard, Claude Roux, Olivier H. |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)047538643 (DE-599)KEP047538643 (ORHE)9781118600092 |
| dewey-full | 621.39 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39 |
| dewey-search | 621.39 |
| dewey-sort | 3621.39 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02961cam a22006612 4500</leader><controlfield tag="001">ZDB-30-ORH-047538643</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228115150.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">191023s2010 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118558188</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-55818-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118558189</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-55818-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118600122</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-60012-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118600126</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-60012-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118600092</subfield><subfield code="9">978-1-118-60009-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118600096</subfield><subfield code="9">1-118-60009-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848211430</subfield><subfield code="9">1-84821-143-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848211438</subfield><subfield code="9">978-1-84821-143-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1299187455</subfield><subfield code="c">ebk</subfield><subfield code="9">1-299-18745-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781299187450</subfield><subfield code="c">ebk</subfield><subfield code="9">978-1-299-18745-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047538643</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP047538643</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9781118600092</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047538643</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating embedded systems</subfield><subfield code="b">software and design : formal methods</subfield><subfield code="c">edited by Claude Hard, Olivier H. Roux</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="a">Hoboken</subfield><subfield code="b">ISTE, Ltd. ;</subfield><subfield code="c">2010</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="a">Hoboken</subfield><subfield code="b">Wiley</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (275 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">ISTE</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index. - Print version record</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded computer systems</subfield><subfield code="x">Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded computer systems</subfield><subfield code="x">Design and construction</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; Computer Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; Hardware ; General</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; Machine Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems ; Design and construction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems ; Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jard, Claude</subfield><subfield code="e">MitwirkendeR</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roux, Olivier H.</subfield><subfield code="e">MitwirkendeR</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781848211438</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781848211438</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9781118600092/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-047538643 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-17T11:21:30Z |
| institution | BVB |
| isbn | 9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (275 Seiten) |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | ISTE, Ltd. ; Wiley |
| record_format | marc |
| series2 | ISTE |
| spelling | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux London Hoboken ISTE, Ltd. ; 2010 London Hoboken Wiley 2010 1 Online-Ressource (275 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier ISTE Includes bibliographical references and index. - Print version record The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. Embedded computer systems Programming Embedded computer systems Design and construction Formal methods (Computer science) Méthodes formelles (Informatique) COMPUTERS ; Computer Engineering COMPUTERS ; Hardware ; General COMPUTERS ; Machine Theory Embedded computer systems ; Design and construction Embedded computer systems ; Programming Jard, Claude MitwirkendeR ctb Roux, Olivier H. MitwirkendeR ctb 9781848211438 Erscheint auch als Druck-Ausgabe 9781848211438 |
| spellingShingle | Communicating embedded systems software and design : formal methods Embedded computer systems Programming Embedded computer systems Design and construction Formal methods (Computer science) Méthodes formelles (Informatique) COMPUTERS ; Computer Engineering COMPUTERS ; Hardware ; General COMPUTERS ; Machine Theory Embedded computer systems ; Design and construction Embedded computer systems ; Programming |
| title | Communicating embedded systems software and design : formal methods |
| title_auth | Communicating embedded systems software and design : formal methods |
| title_exact_search | Communicating embedded systems software and design : formal methods |
| title_full | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux |
| title_fullStr | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux |
| title_full_unstemmed | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux |
| title_short | Communicating embedded systems |
| title_sort | communicating embedded systems software and design formal methods |
| title_sub | software and design : formal methods |
| topic | Embedded computer systems Programming Embedded computer systems Design and construction Formal methods (Computer science) Méthodes formelles (Informatique) COMPUTERS ; Computer Engineering COMPUTERS ; Hardware ; General COMPUTERS ; Machine Theory Embedded computer systems ; Design and construction Embedded computer systems ; Programming |
| topic_facet | Embedded computer systems Programming Embedded computer systems Design and construction Formal methods (Computer science) Méthodes formelles (Informatique) COMPUTERS ; Computer Engineering COMPUTERS ; Hardware ; General COMPUTERS ; Machine Theory Embedded computer systems ; Design and construction Embedded computer systems ; Programming |
| work_keys_str_mv | AT jardclaude communicatingembeddedsystemssoftwareanddesignformalmethods AT rouxolivierh communicatingembeddedsystemssoftwareanddesignformalmethods |