Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক:	CAV (Conference) Åalborg, Denmark)
অন্যান্য লেখক:	Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-
বিন্যাস:	কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:	English
প্রকাশিত:	Berlin ; New York : Springer-Verlag, c1992.
মালা:	Lecture notes in computer science ; 575.
বিষয়গুলি:	Computer software > Verification > Congresses. Electronic digital computers > Evaluation > Congresses.

হোল্ডিংসের বিবরণ CARM 1 Store
ডাক সংখ্যা:	A2:AM07E0 C05496
প্রতিলিপি 1	লভ্য এই স্থানে হোল্ড করুন

অনুরূপ উপাদানগুলি