Formal Methods and Software Engineering 1
bokomslag Formal Methods and Software Engineering
Data & IT

Formal Methods and Software Engineering

Kazuhiro Ogata • Dominique Mery • Meng Sun • Shaoying Liu

Pocket

1149:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 410 sidor
  • 2024
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods
  • Författare: Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
  • Format: Pocket/Paperback
  • ISBN: 9789819606160
  • Språk: Engelska
  • Antal sidor: 410
  • Utgivningsdatum: 2024-11-29
  • Förlag: Springer Nature Switzerland AG

Du kanske gillar

  1. bokomslag Big-Data Analytics and Cloud Computing

    Big-Data Analytics and Cloud Computing

    Marcello Trovati, Richard Hill, Ashiq Anjum, Shao Ying Zhu, Lu Liu

    Inbunden

    1799:-
  2. bokomslag Big-Data Analytics and Cloud Computing

    Big-Data Analytics and Cloud Computing

    Marcello Trovati, Richard Hill, Ashiq Anjum, Shao Ying Zhu, Lu Liu

    Pocket

    1799:-
  3. bokomslag FM 2012: Formal Methods

    FM 2012: Formal Methods

    Dominique Mery Dimitra Giannakopoulou

    Pocket

    759:-
  4. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Kazuhiro Ogata, Mark Lawford, Shaoying Liu

    Pocket

    759:-
  5. bokomslag Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Mart-Oliet Kazuhiro Ogata

    Pocket

    1019:-
  6. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jim Davies, Wolfram Schulte, Mike Barnett

    Pocket

    1499:-
  7. bokomslag Theory of Dispersion in a Granular Medium

    Theory of Dispersion in a Granular Me...

    Akio Ogata

    Pocket

    369:-
  8. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jifeng He Zhiming Liu

    Pocket

    1499:-
  9. bokomslag Bridging the Gap Between AI, Cognitive Science, and Narratology With Narrative Generation

    Bridging the Gap Between AI, Cognitiv...

    Jumpei Ono Takashi Ogata

    Inbunden

    3739:-
  10. bokomslag Risk Factors for Peri-implant Diseases

    Risk Factors for Peri-implant Diseases

    Yorimasa Ogata

    Pocket

    1389:-

Andra av samma författare

  1. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

    Pocket

    759:-
  2. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan

    Pocket

    759:-
  3. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

    Pocket

    759:-
  4. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Shaoying Liu, Zhenhua Duan, Ai Liu

    Pocket

    809:-
  5. bokomslag Theoretical Aspects of Software Engineering

    Theoretical Aspects of Software Engin...

    Meng Sun Cristina David

    Pocket

    1129:-
  6. bokomslag Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Mart-Oliet Kazuhiro Ogata

    Pocket

    1019:-
  7. bokomslag Formal Aspects of Component Software

    Formal Aspects of Component Software

    Meng Sun Diego Marmsoler

    Pocket

    809:-
  8. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Zhenhua Duan Shaoying Liu

    Pocket

    759:-
  9. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Zhenhua Duan Shaoying Liu

    Pocket

    609:-
  10. bokomslag Structured Object-Oriented Formal Language and Method

    Structured Object-Oriented Formal Lan...

    Zhenhua Duan Shaoying Liu

    Pocket

    759:-