Fortell venner om denne varen:
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 2015 edition
Rolf Drechsler
Pris
NOK 559
Bestillingsvarer
Forventes levert 20. - 28. okt
Legg til iMusic ønskeliste
eller
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 2015 edition
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 25. juni 2015 |
| ISBN13 | 9783658099930 |
| Utgivere | Springer |
| Antall sider | 313 |
| Mål | 168 × 240 × 18 mm · 521 g |
| Språk | Fransk |
| Redaktør | Drechsler, Rolf |
| Redaktør | Kuhne, Ulrich |
Vis alle
Mer med Rolf Drechsler
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Pocketbok) [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-pocketbok&class=scaled&v=1583794125)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Pocketbok) [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-pocketbok&class=scaled&v=1614917542)
![Cover for Rolf Drechsler · Advanced Formal Verification (Pocketbok) [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-pocketbok&class=scaled&v=1500925902)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Pocketbok) [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-pocketbok&class=scaled&v=1547260580)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Vlsi Cad (Pocketbok) [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-pocketbok&class=scaled&v=1605105598)
![Cover for Rolf Drechsler · Formal Verification of Circuits (Pocketbok) [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-pocketbok&class=scaled&v=1614979876)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Pocketbok) [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-pocketbok&class=scaled&v=1592268994)
![Cover for Rolf Drechsler · Test Pattern Generation using Boolean Proof Engines (Innbunden bok) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/599/9789048123599.jpg?rolf-drechsler-2009-test-pattern-generation-using-boolean-proof-engines-innbunden-bok&class=scaled&v=1564890060)
![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Innbunden bok) [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-innbunden-bok&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Innbunden bok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-innbunden-bok&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Innbunden bok) [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-innbunden-bok&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Innbunden bok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-innbunden-bok&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Innbunden bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-innbunden-bok&class=scaled&v=1410211703)
![Cover for Rolf Drechsler · Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-boolesche Funktionen - Xleitfaden Der Informatik (Pocketbok) [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-pocketbok&class=scaled&v=1412636882)
Se alt med Rolf Drechsler ( f.eks. Pocketbok , Innbunden bok og Bok )