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
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 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
Abstract State Machines, Alloy, B and Z
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Häftad, 2010
566 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
550 kr
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
Uwe Glasser, Jean-Raymond Abrial
E-bok
2010708 kr
Open Source Intelligence and Cyber Crime
David B. Skillicorn, Uwe Glasser, Mohammad A. Tayebi
E-bok
2020983 kr