Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
AvHeike Wehrheim,Michael Leuschel
E-bok
PDF, Engelska, 2009708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
Häftad, 2011
561 kr
Abstract State Machines, Alloy, B, VDM, and Z
Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick
E-bok
2012687 kr
Formal Methods for Components and Objects
Michael Leuschel, Stefan Hallerstede, Marcello M. Bonsangue, Frank S. de Boer
E-bok
2010708 kr
Rigorous State-Based Methods
Patrizia Scandurra, Elvinia Riccobene, Michael Leuschel, Angelo Gargantini, Silvia Bonfanti
E-bok
20241 022 kr
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Häftad, 2012
544 kr
Del 15728
Rigorous State-Based Methods
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Häftad, 2024
837 kr