全国書店ネットワーク e-hon洋書販売

全国書店ネットワーク e-hon洋書販売

　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN

  • Liu, Shaoying,国内・海外在庫あり

    による検索結果
  • 1件〜14件（全14件）
書名
著者
出版社
ISBN
出版年月
年 月 〜
年 月
装丁
選択してください
  • 選択してください
  • PAP
  • HRD
  • CMD
  • CD
  • LIB
  • CAS
  • SAL
  • PBD
  • TBK
  • CDR
  • DVD
  • PLA
言語
選択してください
  • 選択してください
  • 英語
  • ドイツ語
  • フランス語
  • スペイン語
在庫状況
書籍表紙

Software Fault Prevention, Verification, and Validation

First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

Lecture Notes in Computer Science

Liu, Shaoying (EDT)
出版社：Springer Nature Switzerland Ag 出版年月：2025年 03月
装丁：PAP 言語：ENG
税込価格：

13,674円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Agile-SOFL

Agile Formal Engineering Method
Liu, Shaoying
出版社：Springer Nature 出版年月：2024年 07月
装丁：HRD 言語：ENG
税込価格：

42,446円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Lecture Notes in Computer Science

Liu, Shaoying (EDT) Duan, Zhenhua (EDT) Liu, Ai (EDT)
出版社：Springer International Publishing Ag 出版年月：2023年 03月
装丁：PAP 言語：ENG
税込価格：

12,966円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Formal Engineering for Industrial Software Development

Using the SOFL Method
Liu, Shaoying
出版社：Springer 出版年月：2010年 12月
装丁：PAP 言語：ENG
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Lecture Notes in Computer Science .9559

Herausgegeben von Liu, Shaoying Duan, Zhenhua
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 03月
装丁：PAP 版次：1st ed. 2016. 2016. viii
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7787

Herausgegeben von Liu, Shaoying
出版社：Springer, Berlin 出版年月：2013年 08月
装丁：PAP 版次：2013. x
税込価格：

10,846円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Lecture Notes in Computer Science .8979

Herausgegeben von Liu, Shaoying Duan, Zhenhua
出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 04月
装丁：PAP 版次：2015. 2015. viii
税込価格：

9,431円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Lecture Notes in Computer Science .10009

Herausgegeben von Ogata, Kazuhiro Lawford, Mark Liu, Shaoying
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：1st ed. 2016. 2016. xvii
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8332

Herausgegeben von Liu, Shaoying Duan, Zhenhua
出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 03月
装丁：PAP 言語：ENG 版次：2014. 2014. x
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Lecture Notes in Computer Science .10189

Herausgegeben von Liu, Shaoying Duan, Zhenhua Tian, Cong
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. x
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Lecture Notes in Computer Science .11392

Herausgegeben von Duan, Zhenhua Liu, Shaoying Tian, Cong
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. viii
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Lecture Notes in Computer Science 12723

Herausgegeben:Xue, Jinyun Nagoya, Fumiko Liu, Shaoying
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. viii
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Lecture Notes in Computer Science 12028

Herausgegeben von Miao, Huaikou Tian, Cong Liu, Shaoying
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. ix
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Lecture Notes in Computer Science 10795

Herausgegeben von Tian, Cong Nagoya, Fumiko Liu, Shaoying
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. x
税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷