ਗੇਮਾਂ
ਐਪਾਂ
ਫ਼ਿਲਮਾਂ ਅਤੇ ਟੀਵੀ
ਕਿਤਾਬਾਂ
ਬੱਚੇ
google_logo Play
ਗੇਮਾਂ
ਐਪਾਂ
ਫ਼ਿਲਮਾਂ ਅਤੇ ਟੀਵੀ
ਕਿਤਾਬਾਂ
ਬੱਚੇ
none
search
help_outline
Google ਨਾਲ ਸਾਈਨ-ਇਨ ਕਰੋ
play_apps
ਲਾਇਬ੍ਰੇਰੀ ਅਤੇ ਡੀਵਾਈਸ
payment
ਭੁਗਤਾਨ ਅਤੇ ਸਬਸਕ੍ਰਿਪਸ਼ਨਾਂ
reviews
ਮੇਰੀ Play ਸਰਗਰਮੀ
redeem
ਪੇਸ਼ਕਸ਼ਾਂ
Play Pass
settings
ਸੈਟਿੰਗਾਂ
ਪਰਦੇਦਾਰੀ ਨੀਤੀ
•
ਸੇਵਾ ਦੇ ਨਿਯਮ
ਗੇਮਾਂ
ਐਪਾਂ
ਫ਼ਿਲਮਾਂ ਅਤੇ ਟੀਵੀ
ਕਿਤਾਬਾਂ
ਬੱਚੇ
ਈ-ਕਿਤਾਬਾਂ
Verification of Sequential and Concurrent Programs: Edition 2
US$31.15
US$27.10
Verification of Sequential and Concurrent Programs: Edition 3
US$31.50
US$27.40
Programmverifikation: Sequentielle, parallele und verteilte Programme
US$29.99
US$16.19
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$19.25
US$16.75
Correct System Design: Recent Insights and Advances
US$19.25
US$16.75
Real-Time Systems: Formal Specification and Automatic Verification
US$105.00
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
US$24.50
US$21.32
Provably Correct Systems
US$34.65
US$30.15
Verification of Sequential and Concurrent Programs
US$31.15
US$27.10