গে’মসমূহ
এপ্সমূহ
চলচ্চিত্র আৰু টিভি
কিতাপ
শিশু
google_logo Play
গে’মসমূহ
এপ্সমূহ
চলচ্চিত্র আৰু টিভি
কিতাপ
শিশু
none
search
help_outline
Googleৰ জৰিয়তে ছাইন ইন কৰক
play_apps
লাইব্ৰেৰী আৰু ডিভাইচ
payment
পৰিশোধ আৰু সদস্যভুক্তিসমূহ
reviews
মোৰ Play কাৰ্যকলাপ
redeem
অ'ফাৰসমূহ
Play Pass
settings
ছেটিংসমূহ
গোপনীয়তাৰ নীতি
•
সেৱাৰ চৰ্তাৱলী
গে’মসমূহ
এপ্সমূহ
চলচ্চিত্র আৰু টিভি
কিতাপ
শিশু
ই-বুক
Verification of Sequential and Concurrent Programs: Edition 3
US$ ৩১.৫০
US$ ২৭.৪০
Verification of Sequential and Concurrent Programs: Edition 2
US$ ৩১.১৫
US$ ২৭.১০
Programmverifikation: Sequentielle, parallele und verteilte Programme
US$ ২৯.৯৯
US$ ১৬.১৯
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
US$ ১৯.২৫
US$ ১৬.৭৫
Correct System Design: Recent Insights and Advances
US$ ১৯.২৫
US$ ১৬.৭৫
Real-Time Systems: Formal Specification and Automatic Verification
US$ ১০৫.০০
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
US$ ২৪.৫০
US$ ২১.৩২
Provably Correct Systems
US$ ৩৪.৬৫
US$ ৩০.১৫
Verification of Sequential and Concurrent Programs
US$ ৩১.১৫
US$ ২৭.১০