Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Bernardo, Marco:
Da Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 3 maggio 2002
Usato -
Quantità: 1 disponibili
Aggiungere al carrello