Vinkkaa tuotetta kavereillesi:
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 Rolf Drechsler 2015 edition
Hinta
€ 52,99
Tilattu etävarastosta
Arvioitu toimitus ma - pe 5. - 9. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Rolf Drechsler
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
313 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | torstai 25. kesäkuuta 2015 |
| ISBN13 | 9783658099930 |
| Tuottaja | Springer |
| Sivujen määrä | 313 |
| Mitta | 168 × 240 × 18 mm · 521 g |
| Kieli | Ranska |
| Toimittaja | Drechsler, Rolf |
| Toimittaja | Kuhne, Ulrich |
Lisää tuotteita Rolf Drechsler
Näytä kaikki
![Cover for Rolf Drechsler · Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (Paperback Book) [1. Aufl. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/124/9783658324124.jpg?rolf-drechsler-2021-noch-analog-oder-lebst-du-schon-mit-n-rdman-durch-die-welt-von-heute-und-morgen-paperback-book&class=scaled&v=1609659585)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Paperback Book) [Softcover reprint of the original 1st ed. 2003 edition] (2012)](https://imusic.b-cdn.net/images/item/original/621/9781461353621.jpg?rolf-drechsler-2012-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-paperback-book&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Paperback Book) [Softcover reprint of hardcover 1st ed. 2002 edition] (2010)](https://imusic.b-cdn.net/images/item/original/790/9781441952790.jpg?rolf-drechsler-2010-towards-one-pass-synthesis-paperback-book&class=scaled&v=1614917542)
![Cover for Rolf Drechsler · Advanced Formal Verification (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/206/9781441954206.jpg?rolf-drechsler-2010-advanced-formal-verification-paperback-book&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/475/9781441950475.jpg?rolf-drechsler-2010-binary-decision-diagrams-theory-and-implementation-paperback-book&class=scaled&v=1547260580)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/406/9781441950406.jpg?rolf-drechsler-2010-evolutionary-algorithms-for-vlsi-cad-paperback-book&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/851/9781441949851.jpg?rolf-drechsler-2010-formal-verification-of-circuits-paperback-book&class=scaled&v=1614979876)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Paperback Book) [Softcover reprint of hardcover 1st ed. 2009 edition] (2010)](https://imusic.b-cdn.net/images/item/original/910/9789048184910.jpg?rolf-drechsler-2010-test-pattern-generation-using-boolean-proof-engines-paperback-book&class=scaled&v=1592268994)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Hardcover Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/599/9789048123599.jpg?rolf-drechsler-2009-test-pattern-generation-using-boolean-proof-engines-hardcover-book&class=scaled&v=1564890060)
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Hardcover Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/967/9781402061967.jpg?rolf-drechsler-2007-existence-semantics-and-syntax-studies-in-linguistics-and-philosophy-hardcover-book&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-hardcover-book&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Hardcover Book) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/765/9781402072765.jpg?rolf-drechsler-2002-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-hardcover-book&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-hardcover-book&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-hardcover-book&class=scaled&v=1410211703)
![Cover for Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Paperback Book) [German, 1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/490/9783519021490.jpg?rolf-drechsler-1998-graphenbasierte-funktionsdarstellung-boolesche-und-pseudo-boolesche-funktionen-xleitfaden-der-informatik-paperback-book&class=scaled&v=1412636882)
Katso kaikki joka sisältää Rolf Drechsler ( Esim. Paperback Book , Hardcover Book Ja Book )