First-order dynamic logic /

Bibliographic Details
Main Author:	Harel, David, 1950-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1979.
Series:	Lecture notes in computer science ; 68.
Subjects:	Computer programming. Logic, Symbolic and mathematical. Recursion theory. logique premier ordre. langage algébrique. sémantique langage. analyse programme. logique programme. logique formelle. Programmation (Informatique) Logique symbolique et mathématique. Récursivité, Théorie de la. Ordinateurs > Programmation. Programmierung. Logik. Mathematische Logik. Electronic books.
Online Access:	Connect to the full text of this electronic book

Remote Storage