First-Order Programming Theories - Couverture rigide

Gergely, Tamas; Ury, Laszlo

 
9780387542775: First-Order Programming Theories
Couverture rigide
ISBN 10 : 0387542779 ISBN 13 : 9780387542775
Editeur : Springer Verlag, 1992

Synopsis

First-Order Programming Theories Proposes a logical approach to the theory of programming. This book provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties.

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

Éditeur
Springer Verlag
Date d'édition
1992
Langue
anglais
ISBN 10 
0387542779
ISBN 13 
9780387542775
Reliure
Relié
Nombre de pages
351
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540542773: First-order Programming Theories

Edition présentée

ISBN 10 :  3540542779 ISBN 13 :  9783540542773
Editeur : Springer-Verlag Berlin and Heide..., 1991
Couverture rigide