Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
(9783731504726)
Preis von (2 Angebote)35.00 EUR
Weitere Informationen
5STARCooks (9780655175438) | Software verification Second
5STARCooks ist eine Marke, die sich auf Kochbücher spezialisiert hat. Sie bietet eine Vielzahl an Kochbüchern an, die sich sowohl an Anfänger als auch an Fortgeschrittene richten. Die Bücher sind übersichtlich gestaltet und enthalten viele Schritt-für-Schritt-Anleitungen, die das Kochen erleichtern.
(9783731504726)
(9783642357459 / 31 black & white illustrations, biograph)
(9783319870991) | Software Engineering
(9783319490519) | Hardware and Software, Verification and
Praktische Anleitungen zur Softwareverifikation und Validierung – von Grundlagen bis fortgeschrittenen Techniken. Ideal für Entwickler, Prüfer und Projektleiter in der IT-Branche.
(9783319703886) | Hardware and Software, Verification and