BRICS report series¤Model checking via reachability testing for timed automata

0,00 kr
På lager
ISBN
1221978
Specifikationer
ISBN-13 1221978
EAN 1221978
Illustreret i farver/sh Nej
Copyright © 2013-present Magento, Inc. All rights reserved.