Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
著者 Domenico Cantone
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
出版社: | Springer |
発売日: | 21-Sep-2011 |
ISBN: | 1441929053 |
ISBN13: | 9781441929051 |
形式: | Paperback |
重量: | 698 gms |
書誌情報: | pp. 428, 67 Illus. |
書籍タイトル "Set Theory for Computing From Decision Procedures to Declarative Programming with Sets" 著者 Domenico Cantone. こちらの書籍が発行された年 2012. 書籍ISBN番号 1441929053|9781441929051 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xviii + 409 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98363 冊の素晴らしい書籍がございます