Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1 mars 1982
Si la couverture et le titre ne correspondent pas, le titre est correct.

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

209 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 1 mars 1982
ISBN13 9783540112051
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 209
Dimensions 155 × 233 × 11 mm   ·   312 g
Langue et grammaire Anglais  

Voir tous les B. T. Hailpern ( par ex. Paperback Book )