Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 12 Treffer.


Scalable Techniques for Formal Verification

Produktform: E-Buch Text Elektronisches Buch in proprietärem


This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Verlag: Springer US, 243 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 17.06.2010

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Scalable Techniques for Formal Verification

Produktform: Buch / Einband - flex.(Paperback)


This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Verlag: Springer US, Auflage 1, 243 Seiten

Erscheinungsdatum: 19.10.2014

119,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Scalable Techniques for Formal Verification

Produktform: Buch / Einband - fest (Hardcover)


This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Verlag: Springer US, Auflage 1, 243 Seiten

Erscheinungsdatum: 25.05.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Security Policy in System-on-Chip Designs

Specification, Implementation and Verification

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 116 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.10.2018

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Security Policy in System-on-Chip Designs

Specification, Implementation and Verification

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 116 Seiten

Erscheinungsdatum: 13.12.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Security Policy in System-on-Chip Designs

Specification, Implementation and Verification

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 116 Seiten

Erscheinungsdatum: 20.10.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 316 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 24.01.2017

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 316 Seiten

Erscheinungsdatum: 01.02.2017

139,09 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 316 Seiten

Erscheinungsdatum: 18.07.2018

96,29 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Internet of Things. A Confluence of Many Disciplines

Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 329 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 18.03.2020

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel