Abstract State Machines, B and Z
Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Häftad, 2008
566 kr
Formal Methods: State of the Art and New Directions
AvJawed Siddiqi,Jonathan P. Bowen
E-bok
PDF, Engelska, 20091 408 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: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Inbunden, 2009
1 123 kr
Abstract State Machines, B and Z
Paul Boca, Jonathan P. Bowen, Michael Butler, Egon Borger
E-bok
2008734 kr
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Häftad, 2014
1 112 kr
Industrial-Strength Formal Methods in Practice
Jonathan P. Bowen, Michael G. Hinchey
E-bok
20122 036 kr
ZB 2000: Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Häftad, 2000
566 kr
Arts and Computational Culture: Real and Virtual Worlds
Jonathan P. Bowen, Tula Giannini
E-bok
20243 251 kr
Del 12154
Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Häftad, 2020
559 kr
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
543 kr