[B! software-design] theatricalのブックマーク

theatrical id:theatrical

software-designに関するtheatricalのブックマーク (2)

GitHub - steshaw/plt: Programming Language Theory λΠ
PLFA - Programming Language Foundations in Agda - Philip Wadler, Wen Kokke SF - Software Foundations - Benjamin C. Pierce et al. Available with jsCoq TAPL - Types and Programming Languages - Benjamin C. Pierce PROT Proofs and Types - Jean-Yves Girard, Yves Lafont and Paul Taylor - 1987-90 pdf PFPL - Practical Foundations for Programming Languages (Second Edition) - Robert Harper Online preview edi
theatrical 2014/04/30
booklist

computer-science

software-design

math
リンク
抽象によるソフトウェア設計 ―Alloyではじめる形式手法 | オーム社eStore(β)
購入についてのご注意 PDF版書籍データには、お客様の識別情報が印字されます。 PDF版書籍データを複数購入することはできません(利用が購入者個人に限られるためです)。コンボパック(PDF版 + 紙版のセット商品)を複数購入することはできません。また、PDF版書籍データ商品とコンボパック商品を同時に購入することもできません。 PDF版書籍データのサンプル（一部抜粋）
theatrical 2014/04/27
“Alloy”面白そう

wish-bookshelf

alloy

software-design
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx