Recent_Trends_in_Algebraic_Dev
  • Googleプレビュー

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Ita RECENT TRENDS IN ALGEBRAIC DEV (Lecture Notes in Computer Science)
Andrea Corradini

29,185円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

商品基本情報

  • 発売日:  2009年
  • 著者:   Andrea CorradiniUgo Montanari
  • 出版社:  SPRINGER VERLAG GMBH
  • タイトル:  Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Ita:RECENT TRENDS IN ALGEBRAIC DEV(Lecture Notes in Computer Science)
  • 発行年:  2009年
  • サイズ:  Paperback
  • ページ数:  341
  • 言語:   English
  • ISBNコード:  9783642034282

商品説明

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
■【洋書】に関するご注意■
※商品の形態について 一部の商品は、商品名の後ろに形態が略号で表記されています。
・(H):ハードカバー   ・(P):ペーパーカバー ・(BB):ボードブック ・(W/CD):CD付き書籍
・(A):ペーパーバック(新書サイズ) ・(B):ペーパーバック(単行本サイズ)・(C):ペーパーバック(ハードカバーと同サイズ)

※お届けについて  「メーカー取り寄せ」:海外倉庫よりお取り寄せいたします。通常、2週間程度で入荷いたします。

※商品状態について 洋書は、海外の出版社にて発行しております。
 海外より商品の手配を行うため、配送中のトラブルもあり万全ではない商品が届くことがございます。より良い商品をお届けできるよう努めてまいりますが、細かな傷や汚れであれば発送をいたします。
 また、上記理由により、商品の交換ならびに返品は承りかねますので、内容をご理解のうえ、商品を購入ください。

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

ご注文できない商品

29,185円(税込)

送料無料

お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:洋書

    ※1時間ごとに更新

    1. 1
      HARRY POTTER 2:CHAMBER OF SECRETS:NEW(B)
      HARRY POTTER 2:CHAMBER OF SECRETS:NEW(B)

      J.K. ROWLING

      1,866円(税込)

    2. 2
      GOODNIGHT MOON(PB W/CD)
      GOODNIGHT MOON(PB W/CD)

      MARGARET WISE BROWN

      1,088円(税込)

    3. 3
      Cars Origins: Storm Chasing (Disney/Pixar Cars)
      Cars Origins: Storm Chasing (Disney/Pi…

      Dave Keane

      984円(税込)

    4. 4
      WEE SING CHILDREN'S SONGS&FINGER(P W/CD)
      WEE SING CHILDREN'S SONGS&FINGER(P W/CD)

      PAMELA CONN BEALL

      897円(税込)

    5. 5
      Excuse Me!: A Little Book of Manners
      Excuse Me!: A Little Book of Manners

      Karen Katz

      652円(税込)

    このページの先頭へ