Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Validation&Verification | Booky.fi

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



Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,
De Nicola, Rocco; Kühn, Eva
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Bakhshi, Rena; Ballarini, Paolo; Barbot, Benoît; Castel-Taleb, Hind; Remke, Anne
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Knowledge Engineering Tools and Techniques for AI Planning
Vallati, Mauro; Kitchin, Diane
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Knowledge Engineering Tools and Techniques for AI Planning
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
155,50 €
Autonomous Driving Handbook
Huang, Yu; Yang, Zijiang
Springer Verlag, Singapore
2026
Kovakantinen kirja
Saatavuus: Tilaustuote Tuotteen saatavuus varmistetaan tilauskohtaisesti. Voit jättää tilauksen, niin tarkistamme saatavuuden tavarantoimittajilta. Jos tuotetta ei ole saatavissa, olemme sinuun yhteydessä ja perumme tilauksesi.
Autonomous Driving Handbook
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
149,80 €
Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Pape
Vos, Tanja E.J.; Lakhotia, Kiran; Bauersfeld, Sebastian
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Pape
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Behavior Modeling -- Foundations and Applications : International Workshops, BM-FA 2009-2014, Revised Selected Papers
Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Gerth, Christian
Springer
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Behavior Modeling -- Foundations and Applications : International Workshops, BM-FA 2009-2014, Revised Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Li, Xuandong; Liu, Zhiming; Yi, Wang
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N
El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa,
Piterman, Nir
Springer
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Pape
Mauw, Sjouke; Kordy, Barbara; Jajodia, Sushil
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Pape
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
43,20 €
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016,
Wotawa, Franz; Nica, Mihai; Kushik, Natalia
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp,
Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Advances in Computing and Data Sciences - First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12, 2016, R
Singh, Mayank; Gupta, P.K.; Tyagi, Vipin; Sharma, Arun; Ören, Tuncer; Grosky, William
Springer Verlag, Singapore
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Advances in Computing and Data Sciences - First International Conference, ICACDS 2016, Ghaziabad, India, November 11-12, 2016, R
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logical Foundations of Cyber-Physical Systems
Platzer, André
Springer
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Logical Foundations of Cyber-Physical Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
Software Quality Assurance - Consistency in the Face of Complexity and Change
Walkinshaw, Neil
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Software Quality Assurance - Consistency in the Face of Complexity and Change
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
String Analysis for Software Verification and Security
Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath; Aydin, Abdulbaki
Springer
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
String Analysis for Software Verification and Security
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
The Agile Safety Case
Myklebust, Thor; Stålhane, Tor
Springer International Publishing AG
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
The Agile Safety Case
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
46,20 €
Thinking-Driven Testing - The Most Reasonable Approach to Quality Control
Roman, Adam
Springer International Publishing AG
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Thinking-Driven Testing - The Most Reasonable Approach to Quality Control
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
71,10 €

Näytä lisää...