Paul Boca – författare
Visar alla böcker från författaren Paul Boca. Handla med fri frakt och snabb leverans.
5 produkter
Formal Methods: State of the Art and New Directions
Av Paul Boca, Jonathan P. Bowen m. fl.
Häftad, 2014
1129 kr
Lägg i varukorg
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience …
Formal Methods: State of the Art and New Directions
Av Paul Boca, Jonathan P. Bowen m. fl.
Inbunden, 2009
1129 kr
Lägg i varukorg
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience …
Formal Methods: State of the Art and New Directions
Av Jawed Siddiqi, Jonathan P. Bowen m. fl.
E-bok, 2009
1502 kr
Lägg i varukorg
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Av Egon Börger, Michael Butler m. fl.
Häftad, 2008
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and …
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Av Paul Boca, Jonathan P. Bowen m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and …
