Formal Methods and Software Engineering

  • Nyhet

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

Häftad, Engelska, 2025

Av Étienne André, Jingyi Wang, Naijun Zhan

1 499 kr

Kommande

Produktinformation

  • Utgivningsdatum2025-12-22
  • Mått155 x 235 x undefined mm
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor386
  • FörlagSpringer Verlag, Singapore
  • ISBN9789819542123

Tillhör följande kategorier

Du kanske också är intresserad av

Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan, Shuling Wang, Hengjun Zhao

1 619 kr

Den yttersta hemligheten
Del 6

Den yttersta hemligheten

Dan Brown

289 kr329 kr

Catalyst Layer of Polymer Electrolyte Membrane Fuel Cell

Catalyst Layer of Polymer Electrolyte Membrane Fuel Cell

Wang Jingyi, Jingyi Wang

809 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 kr

Snön faller tät på Mistletoe Square
  • Nyhet

Snön faller tät på Mistletoe Square

Ali McNamara

79 kr125 kr

Automated Technology for Verification and Analysis
Del 14216

Automated Technology for Verification and Analysis

Étienne André, Jun Sun, Etienne Andre

1 089 kr

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Étienne André, Mariëlle Stoelinga, Etienne Andre, Marielle Stoelinga

729 kr

Big Data Privacy Preservation for Cyber-Physical Systems

Big Data Privacy Preservation for Cyber-Physical Systems

Miao Pan, Jingyi Wang, Sai Mounika Errapotu, Xinyue Zhang, Jiahao Ding, Zhu Han

709 kr

Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan, Shuling Wang, Hengjun Zhao

1 619 kr

Automated Technology for Verification and Analysis
Del 14215

Automated Technology for Verification and Analysis

Étienne André, Jun Sun, Etienne Andre

1 169 kr