Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)

  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 558 p.
  • 商品コード 9783662491218

Full Description

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.

最近チェックした商品

Institutional Support and Export Performance: A SMEs Perspective : Role of Institutional Support and Export Antecedents in Export Performance of Indian Handloom Industry （2023. 180 S. 220 mm）
  • 洋書
Institutional Suppo…
GruppenSex: Krankenhausschlampen - Nachts in der Notaufnahme | Erotik Audio Story | Erotisches Hörbuch Audio-CD, Audio-CD : Nachts in der Notaufnahme. 37 Min.. CD Standard Audio Format.Lesung.Ungekürzte Ausgabe （1., verb. Aufl. 2022. 1 S. 1 Abb. 125 x 144 mm）
  • 洋書
GruppenSex: Kranken…
Der Chaco-Krieg zwischen Bolivien und Paraguay 1932-1935 : Eine historisch-strukturelle Analyse der Kriegsgründe und der Friedensverhandlungen. Masterarbeit (Hispano-Americana .12) （Neuausg. 1996. 187 S. 210 mm）
  • 洋書
Der Chaco-Krieg zwi…
イージス艦事典 イカロスＭＯＯＫ
  • 和書
イージス艦事典 イカロスＭＯＯＫ
Who Was Maurice Sendak? (Who Was...?) （Reprint）
  • 洋書
Who Was Maurice Sen…