Jogos
Apps
Filmes e TV
Livros
Crianças
google_logo Play
Jogos
Apps
Filmes e TV
Livros
Crianças
none
search
help_outline
Iniciar sessão com o Google
play_apps
Biblioteca e dispositivos
payment
Pagamentos e subscrições
reviews
A minha atividade no Play
redeem
Ofertas
Play Pass
settings
Definições
Política de Privacidade
•
Termos de Utilização
Jogos
Apps
Filmes e TV
Livros
Crianças
Livros eletrónicos
Verification of Sequential and Concurrent Programs: Edition 3
US$ 31,50
US$ 27,40
Verification of Sequential and Concurrent Programs: Edition 2
US$ 31,15
US$ 27,10
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