Formal Methods in Computer Science - Textbooks in Mathematics - Jiacun Wang - Livres - Taylor & Francis Ltd - 9780367225704 - 25 juin 2019
Si la couverture et le titre ne correspondent pas, le titre est correct.

Formal Methods in Computer Science - Textbooks in Mathematics 1er édition

Jiacun Wang

Prix
€ 215,99

Commandé depuis un entrepôt distant

Livraison prévue 9 - 18 déc.
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

Également disponible en tant que :

Formal Methods in Computer Science - Textbooks in Mathematics 1er édition

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

294 pages, 29 Tables, black and white; 154 Illustrations, black and white

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 25 juin 2019
ISBN13 9780367225704
Éditeurs Taylor & Francis Ltd
Pages 294
Dimensions 566 g
Langue et grammaire English  
Afficher tout

Plus par Jiacun Wang

Voir tous les Jiacun Wang ( par ex. Paperback Book et Hardcover Book )