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

Rubin, Norman

 
9781378952337: A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Couverture souple
ISBN 10 : 1378952332 ISBN 13 : 9781378952337
Editeur : Palala Press, 2018

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

Éditeur
Palala Press
Date d'édition
2018
Langue
anglais
ISBN 10 
1378952332
ISBN 13 
9781378952337
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