 ART ＆ ENTERTAINMENT
FICTION & LITERATURE
BUSINESS ＆ SELF-CULTURE
FAMILY LIFE ＆ COMICS
SOCIAL SCIENCE
BOOKS FOR KIDS
REFERENCE ＆ LANGUAGE
TRAVEL
その他
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker【電子書籍】[ Wolfgang Schreiner ]
¥ 6,685 -
|
洋書 Springer Paperback, Ambient Intelligence: 12th European Conference, AmI 2015, Athens, Greece, November 11-13, 2015, Proceedings (Lecture Notes in Computer Science (9425))
¥ 22,642 -
|
Global Lorentzian Geometry【電子書籍】[ John K. Beem ]
¥ 69,197 -
|
Le atassie: proposte riabilitative【電子書籍】[ Silvana Pavan ]
¥ 4,291 -
|
A First Look at Coding in Chemistry Solving Problems Using MATLAB【電子書籍】[ Tamas Bansagi ]
¥ 6,782 -
|
|
|
【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める！】
＜p＞This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.＜/p＞ ＜p＞The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。
※ご購入は、楽天kobo商品ページからお願いします。
※切り替わらない場合は、こちら をクリックして下さい。
※このページからは注文できません。
商品を詳しく見る
¥ 6,685-(税込)
#ショップ名 ：
楽天Kobo電子書籍ストア
#送料 ：
送料込
#クレジットカード ：
利用可
#海外配送 ：
海外配送不可
#あす楽 ：
翌日配送不可
#ギフト ：
ギフト包装不可能
商品を詳しく見る
「COMPUTERS ＆ SCIENCE」の関連商品を見る
「COMPUTERS ＆ SCIENCE」の人気商品を見る
「楽天Kobo電子書籍ストア」の他の商品を見る
| | |
