- Nyhet
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, 2010739 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
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Häftad, 1996
1 105 kr
Rigorous State-Based Methods
Philippe Palanque, Dominique Mery, Jose Creissac Campos, Uwe Glasser
E-bok
20231 067 kr
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
Häftad, 2010
572 kr
Abstract State Machines, Alloy, B and Z
Steve Reeves, Regine Laleau, Sarfraz Khurshid, Uwe Glasser, Marc Frappier
E-bok
2010739 kr
Open Source Intelligence and Cyber Crime
David B. Skillicorn, Uwe Glasser, Mohammad A. Tayebi
E-bok
20201 027 kr
- Signerad!
Del 3
- Nyhet
Del 11