First-Order Dynamic Logic - Brossura

 
9780387092379: First-Order Dynamic Logic
Brossura
ISBN 10: 0387092374 ISBN 13: 9780387092379

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Book by Harel David

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Lingua
Inglese
ISBN 10 
0387092374
ISBN 13 
9780387092379
Rilegatura
Copertina flessibile
Numero di pagine
133
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783540092377: First-Order Dynamic Logic: 68

Edizione in evidenza

ISBN 10:  3540092374 ISBN 13:  9783540092377
Casa editrice: Springer, 2008
Brossura