Direkt zum Inhalt
Scalable Bit-precise Formal Verification of Embedded Software

AKTUELLE PARTNERANGEBOTE

Scalable Bit-precise Formal Verification of Embedded Software

Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 212, publicationDate : 2016-10-06, releaseDate : 2016-10-06, authors : Nannan He, ISBN : 3659936545

1 Angebote · ab 45,34 € gemeldete Gesamtkosten