wyszukanych pozycji: 3
Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected Papers
ISBN: 9783540789161 / Angielski / Miękka / 2008 / 370 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network e... |
|
cena:
195,42 zł |
Theoretical Aspects of Computing - Ictac 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
ISBN: 9783030325046 / Angielski / Miękka / 2019 / 411 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
195,42 zł |
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
ISBN: 9783642405600 / Angielski / Miękka / 2013 / 321 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madr...
|
|
cena:
195,42 zł |