Bestellen Terug

Hoofdkenmerken

Auteur:	Harel, David
Titel:	Dynamic Logic
Uitgever:	MIT Press Ltd
ISBN:	9780262527668
Serie:	Foundations of Computing
Land van oorsprong:	United States
Prijs:	€ 54.57
Verschijningsdatum:	29-09-2000
Bericht:	Leverbaar

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Mathematical theory of computation

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	476
Hoogte mm.:	181
Breedte mm.:	229
Dikte mm.:	34
Gewicht gr.:	796

 

Inhoud:

This book provides the first comprehensive introduction to Dynamic Logic.