topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1
ISBN: 9783319961446 / Angielski / Miękka / 2018 / 703 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
201,24 |
 |
Hardware and Software: Verification and Testing
ISBN: 9783642017018 / Angielski / Miękka / 2009 / 215 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software systems. This year's conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international...
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference...
|
cena:
201,24 |
 |
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1
ISBN: 9783319961415 / Angielski / Miękka / 2018 / 545 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
201,24 |
 |
Computer Aided Verification
ISBN: 9781013270994 / Angielski / Twarda / 2020 / 710 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
340,36 |
 |
Computer Aided Verification
ISBN: 9781013270987 / Angielski / Miękka / 2020 / 710 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
289,28 |
 |
Validation of Evolving Software
ISBN: 9783319106229 / Angielski / Twarda / 2015 / 220 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to...
|
cena:
201,24 |
 |
Validation of Evolving Software
ISBN: 9783319382005 / Angielski / Miękka / 2016 / 220 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Dostawa w 2026 r.) This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to...
|
cena:
254,57 |
 |
Computer Aided Verification
ISBN: 9781013271014 / Angielski / Twarda / 2020 / 554 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
310,56 |
 |
Computer Aided Verification
ISBN: 9781013271007 / Angielski / Miękka / 2020 / 554 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
259,48 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
