Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Thoughts and Words: From The Soul
ISBN: 9798346140535 / Angielski / Miękka / 2024 / 162 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
56,14 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
| |
Old Helper: Seanchúntóir
ISBN: 9798305819175 / Angielski / Miękka / 2024 / 204 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
56,14 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 |
 |
Software Engineering for Robotics
ISBN: 9783030664961 / Angielski / Miękka / 2022 / 504 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The...
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues ...
|
cena:
484,18 |
 |
Software Engineering for Robotics
ISBN: 9783030664930 / Angielski / Twarda / 2021 / 483 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
