This book provides the first comprehensive introduction to Dynamic Logic.
"Sinopsis" puede pertenecer a otra edición de este libro.
Dexter Kozen is Joseph Newton Pew, Jr., Professor of Engineering in the Computing and Information Science Department at Cornell University. Jerzy Tiuryn is Professor in the Institute of Computer Science at the University of Warsaw.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22215083
Cantidad disponible: Más de 20 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand pp. Nº de ref. del artículo: 373394168
Cantidad disponible: 4 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 22215083-n
Cantidad disponible: Más de 20 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. PRINT ON DEMAND pp. Nº de ref. del artículo: 18372651309
Cantidad disponible: 4 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. Print on Demand pp. Nº de ref. del artículo: 26372651303
Cantidad disponible: 4 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 22215083-n
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22215083
Cantidad disponible: Más de 20 disponibles
Librería: moluna, Greven, Alemania
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dexter Kozen is Joseph Newton Pew, Jr., Professor of Engineering in the Computing and Information Science Department at Cornell University.Jerzy Tiuryn is Professor in the Institute of Computer Science at the University of Warsaw.This book pr. Nº de ref. del artículo: 897575348
Cantidad disponible: Más de 20 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 476 pages. 9.00x7.00x1.20 inches. In Stock. Nº de ref. del artículo: x-0262527669
Cantidad disponible: 2 disponibles
Librería: preigu, Osnabrück, Alemania
Taschenbuch. Condición: Neu. Dynamic Logic | David Harel (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2000 | MIT Press | EAN 9780262527668 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Nº de ref. del artículo: 130167452
Cantidad disponible: 5 disponibles