First-Order Dynamic Logic - Couverture souple

Harel, D.

 
9783662174500: First-Order Dynamic Logic
Couverture souple
ISBN 10 : 3662174502 ISBN 13 : 9783662174500
Editeur : Springer, 2014

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

Synopsis

I: Binary-relation semantics.- II: Computation-tree semantics.

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

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662174502
ISBN 13 
9783662174500
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

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