|
|

avaa valikko

Verification | Akateeminen Kirjakauppa

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



ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,10 €
Echahed, Rachid; Minas, Mark
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, A
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja
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 €
Jobstmann, Barbara; Leino, K. Rustan M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Mohamed, Khaled Salah
Springer
2015
Kovakantinen kirja
IP Cores Design from Specifications to Production : Modeling, Verification, Optimization, and Protection
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Eckermann, Frauke
Peter Lang AG
2008
Pehmeäkantinen kirja
Efficient Enforcement of Truth-Telling in the Grandfathering Process of an Emissions Trading Scheme
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
40,40 €
Heckel, Reiko; Taentzer, Gabriele
Springer
2018
Pehmeäkantinen kirja
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lohmann, Sven
Shaker Verlag
2012
Pehmeäkantinen kirja
Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,50 €
Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2019
Pehmeäkantinen kirja
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
André, Étienne; Wang, Jingyi; Zhan, Naijun
Springer
2025
Pehmeäkantinen kirja
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
99,60 €
ter Beek, Maurice H.; Collart-Dutilleul, Simon; Lecomte, Thierry
Springer
2025
Pehmeäkantinen kirja
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,10 €
Fischer, Joachim; Scheidgen, Markus; Schieferdecker, Ina; Reed, Rick
Springer International Publishing AG
2015
Pehmeäkantinen kirja
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Procee
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Li, Xuandong; Liu, Zhiming; Yi, Wang
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Feng, Xinyu; Park, Sungwoo
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Reiter, Michael; Naccache, David
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Cryptology and Network Security - 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceeding
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Alsmadi, Izzat
Idea Group,U.S.
2012
Kovakantinen kirja
Advanced Automated Software Testing - Frameworks for Refined Practice
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
223,70 €
Ribeiro, Leila; Lecomte, Thierry
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2018
Kovakantinen kirja
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Baier, Christel; Caires, Luís
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...