Specification and Verification of Concurrent Systems

by C. Rattray, British Computer Society

ISBN3540195815 / 9783540195818 / 3-540-19581-5
PublisherSpringer-Verlag
CountryGermany
LanguageEnglish
EditionHardcover
Buying Options

Found a mistake in this data?