A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design - Couverture souple

Rubin, Norman

 
9781176103825: A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
Couverture souple
ISBN 10 : 1176103822 ISBN 13 : 9781176103825
Editeur : Nabu Press, 2011

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

Éditeur
Nabu Press
Date d'édition
2011
Langue
anglais
ISBN 10 
1176103822
ISBN 13 
9781176103825
Reliure
Broché
Nombre de pages
178
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781342274304: A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

Edition présentée

ISBN 10 :  134227430X ISBN 13 :  9781342274304
Editeur : Palala Press, 2015
Couverture rigide