- Nyhet
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
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
Abstract State Machines, Alloy, B, VDM, and Z
Elvinia Riccobene, Steve Reeves, Michael Leuschel, Sarfraz Khurshid, Stefania Gnesi, John Fitzgerald, John Derrick
E-bok
2012718 kr
Abstract State Machines, Alloy, B and Z
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Häftad, 2010
572 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
556 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
Uwe Glasser, Jean-Raymond Abrial
E-bok
2010739 kr
Open Source Intelligence and Cyber Crime
David B. Skillicorn, Uwe Glasser, Mohammad A. Tayebi
E-bok
20201 027 kr