TFL RR¤Proving semantic correspondence between temporal properties of SDL and temporal properties of a process algebra

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