David Harel (The Weizmann Insti William Sussman Professorial Chair, Dexter Kozen, Jerzy Tiuryn (Warsaw University)

Broschiertes Buch

Dynamic Logic

Beschreibung

This book provides the first comprehensive introduction to Dynamic Logic.

Autor

David Harel, Dexter Kozen, and Jerzy Tiuryn

Produktdetails

• Foundations of Computing
• Verlag: MIT Press Ltd
• Seitenzahl: 476
• Erscheinungstermin: 29. September 2000
• Englisch
• Abmessung: 229mm x 178mm x 26mm
• Gewicht: 796g
• ISBN-13: 9780262527668
• ISBN-10: 0262527669
• Artikelnr.: 49031213