Robert M. Hierons – författare
Visar alla böcker från författaren Robert M. Hierons. Handla med fri frakt och snabb leverans.
7 produkter
Testing of Communicating Systems
16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
Av Roland Groz, Robert M. Hierons
Häftad, 2004
551 kr
Lägg i varukorg
This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne's College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored …
Testing of Communicating Systems
16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
Av Robert M. Hierons, Roland Groz
E-bok, 2004
755 kr
Lägg i varukorg
Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers
Av Robert M. Hierons, Jonathan P. Bowen m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a …
Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers
Av Mark Harman, Jonathan P. Bowen m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a …
Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Av Robert M. Hierons, Mercedes G. Merayo m. fl.
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized …
Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Av Mario Bravetti, Mercedes G. Merayo m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized …
