Formal Methods: State of the Art and New Directions
AvJawed Siddiqi,Jonathan P. Bowen
E-bok
PDF, Engelska, 20091 470 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, B and Z
Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Häftad, 2008
572 kr
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Inbunden, 2009
1 137 kr
Abstract State Machines, B and Z
Paul Boca, Jonathan P. Bowen, Michael Butler, Egon Borger
E-bok
2008739 kr
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Häftad, 2014
1 136 kr
Industrial-Strength Formal Methods in Practice
Jonathan P. Bowen, Michael G. Hinchey
E-bok
20122 127 kr
ZB 2000: Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Häftad, 2000
572 kr
Arts and Computational Culture: Real and Virtual Worlds
Jonathan P. Bowen, Tula Giannini
E-bok
20243 276 kr
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
555 kr