Formal Methods and Software Engineering
Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Häftad
929 kr
Del 10009 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Häftad, Engelska, 2016
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
Produktinformation
- Utgivningsdatum2016-10-15
- Mått155 x 235 x 22 mm
- Vikt381 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor486
- Upplaga16001
- FörlagSpringer International Publishing AG
- ISBN9783319478456
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Specification, Algebra, and Software
Shusaku Iida, José Meseguer, Kazuhiro Ogata, Jose Meseguer, Kazuhiro Meseguer, José
Häftad
709 kr
Del 1
Del 14953
Rewriting Logic and Its Applications
Kazuhiro Ogata, Narciso Martí-Oliet, Narciso Marti-Oliet
Häftad
799 kr
Del 8332
Structured Object-Oriented Formal Language and Method
Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
Häftad
709 kr
Del 10189
Structured Object-Oriented Formal Language and Method
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Häftad
709 kr
Del 12028
Structured Object-Oriented Formal Language and Method
Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
Häftad
709 kr