Andy Galloway – författare
Visar alla böcker från författaren Andy Galloway. Handla med fri frakt och snabb leverans.
4 produkter
IFM'99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Av Kenji Taguchi, Andy Galloway m. fl.
E-bok, 2012
1502 kr
Lägg i varukorg
Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics …
IFM’99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Av Keijiro Araki, Andy Galloway m. fl.
Häftad, 1999
1126 kr
Lägg i varukorg
Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics …
ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Av Steve King, Andy Galloway m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. …
ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Av Jonathan P. Bowen, Steve Dunne m. fl.
Häftad, 2000
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The …
