Computergestützte Verifizierung: Neue Trends von Tyler Keating [gebunden]
Ø 0.0
0 Bewertungen
143,06 €
Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems.
Jetzt bei Ebay:
-
EAN:9781639876938
-
UPC:9781639876938
-
ISBN:9781639876938
-
Format:Hardback, 243 pages
-
Author:Tyler Keating (Edited by)
-
Book Title:Computer Aided Verification: Emerging Trends by Ty
-
Item Height:1.4 cm
-
Item Length:25.4 cm
-
Item Weight:0.64 kg
-
Item Width:17.8 cm
-
Language:Eng
-
Publisher:Murphy & Moore Publishing
-
Economy Shipping from outside:eBay SpeedPAK Economy 7,53 EUR - Lieferung zwischen 30. July 2025 und 12. August 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, USA, Kanada, Irland, Australien, Deutschland, Frankreich, Italien, Neuseeland, Belgien, Niederlande, Polen
-
Versand ausgeschlossen:Isle of Wight , Indonesien , Malaysia , Thailand , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Palau , Guyana , Algerien , ... und weitere