First-Order Dynamic Logic - Couverture souple

Harel, David

 
9780387092379: First-Order Dynamic Logic
Couverture souple
ISBN 10 : 0387092374 ISBN 13 : 9780387092379
Editeur : Springer Verlag, 1979

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

Synopsis

Book by Harel David

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1979
Langue
anglais
ISBN 10 
0387092374
ISBN 13 
9780387092379
Reliure
Broché
Nombre de pages
133
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540092377: First-Order Dynamic Logic

Edition présentée

ISBN 10 :  3540092374 ISBN 13 :  9783540092377
Editeur : Springer, 2008
Couverture souple