Articles liés à The Calculus of Computation: Decision Procedures with...

The Calculus of Computation: Decision Procedures with Applications to Verification - Couverture souple

 
9788184893960: The Calculus of Computation: Decision Procedures with Applications to Verification
Couverture souple
ISBN 10 : 8184893965 ISBN 13 : 9788184893960

L'édition de cet ISBN n'est malheureusement plus disponible.

Langue
anglais
ISBN 10 
8184893965
ISBN 13 
9788184893960
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783540741121: The Calculus of Computation: Decision Procedures With Applications to Verification

Edition présentée

ISBN 10 :  3540741127 ISBN 13 :  9783540741121
Editeur : Springer-Verlag Berlin and Heide..., 2007
Couverture rigide