Robert Hierons | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS AND TESTING - AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS

Robert M. Hierons; Jonathan P. Bowen; Mark Harman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

SOFTWARE ENGINEERING AND FORMAL METHODS - 11TH INTERNATIONAL CONFERENCE, SEFM 2013, MADRID, SPAIN, SEPTEMBER 25-27, 2013, PROCEE

Robert M. Hierons; Mercedes G. Merayo; Mario Bravetti
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2019 - 16TH INTERNATIONAL COLLOQUIUM, HAMMAMET, TUNISIA, OCTOBER 31 – NOVEMBER 4, 2019,

Robert Mark Hierons; Mohamed Mosbah
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

TESTING OF COMMUNICATING SYSTEMS - 16TH IFIP INTERNATIONAL CONFERENCE, TESTCOM 2004, OXFORD, UK, MARCH 17-19, 2004., PROCEEDINGS

Roland Groz; Robert M. Hierons
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

49,60 €

TESTING SOFTWARE AND SYSTEMS - 30TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, ICTSS 2018, CÁDIZ, SPAIN, OCTOBER 1-3, 2018, PROCEEDIN

Inmaculada Medina-Bulo; Mercedes G. Merayo; Robert Hierons
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

TESTING OF COMMUNICATING SYSTEMS

Roland Groz; Robert M Hierons
Springer (2014)
Pehmeäkantinen kirja

106,00 €

Formal Methods and Testing - An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons, Jonathan P. Bowen, Mark Harman

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 370 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008
Julkaisuvuosi: 2008, 08.04.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

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 subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus