Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Arvutid / Käsiraamatud / Dynamic Logic

Raamat

Dynamic Logic

Autor: David Harel (William Sussman Professorial Chair, The Weizmann Institute of Science), Dexter Kozen, Jerzy Tiuryn (Warsaw University)

* * * * * * * * * * Loe arvustusi (0)

Toode pole saadaval

Sisukirjeldus

This book provides the first comprehensive introduction to Dynamic Logic.

Lisainfo
ISBN 9780262527668
Ilmumisaasta 2000
Keel ingliskeelne
Formaat Pehmekaaneline
Lehekülgi 476 lk
Kirjastus MIT Press Ltd
Sari Foundations of Computing
Lisamise aeg: 01.08.2018

Toode pole saadaval

Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.