Computergestützte Verifizierung: 15. Internationale Konferenz, Cav 2003, Boulde...
78,56 €
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.
Jetzt bei Ebay:
