Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Häftad, 1996
1 082 kr
Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
AvUwe Glasser,Jean-Raymond Abrial
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
Rigorous State-Based Methods
Philippe Palanque, Dominique Mery, Jose Creissac Campos, Uwe Glasser
E-bok
20231 022 kr
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
Häftad, 2010
561 kr
Abstract State Machines, Alloy, B and Z
Steve Reeves, Regine Laleau, Sarfraz Khurshid, Uwe Glasser, Marc Frappier
E-bok
2010708 kr
Open Source Intelligence and Cyber Crime
David B. Skillicorn, Uwe Glasser, Mohammad A. Tayebi
E-bok
2020983 kr
- -19%
- -30%
- 4 för 3