Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
E-bok
PDF, Engelska, 2010708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Model and Data Engineering
Carlos Ordonez, Dominique Mery, Matteo Golfarelli, Ladjel Bellatreche, El Hassan Abdelwahed
E-bok
2018708 kr
Rigorous State-Based Methods
Philippe Palanque, Dominique Mery, Jose Creissac Campos, Uwe Glasser
E-bok
20231 022 kr
New Trends in Model and Data Engineering
Carlos Ordonez, Kazumi Nakamatsu, Dominique Mery, Stephane Jean, Matteo Golfarelli, Djamal Benslimane, Ladjel Bellatreche, El Hassan Abdelwahed
E-bok
2018708 kr
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Dominique Mery, Shin Nakajima, Yamine Ait-Ameur
E-bok
20201 317 kr