A Survey of Program Proof Technology - Couverture souple

Schwartz, Jacob T

 
9781245118873: A Survey of Program Proof Technology
Couverture souple
ISBN 10 : 1245118870 ISBN 13 : 9781245118873
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 
1245118870
ISBN 13 
9781245118873
Reliure
Broché
Nombre de pages
70
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781342120564: A Survey of Program Proof Technology

Edition présentée

ISBN 10 :  1342120566 ISBN 13 :  9781342120564
Editeur : Palala Press, 2015
Couverture rigide