Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)ক্যাটাগোরিগুলো:
সাল:
2009
সংস্করণ:
1
প্রকাশক:
Springer-Verlag Berlin Heidelberg
ভাষা:
english
পৃষ্ঠা:
213
ISBN 10:
3642045707
ISBN 13:
9783642045707
বইয়ের সিরিজ:
Lecture Notes in Computer Science 5825 : Programming and Software Engineering
ফাইল:
PDF, 10.43 MB
IPFS:
,
english, 2009