Specification | Booky.fi

Martinelli, Simon
APRESS L.P.
2026
Pehmeäkantinen kirja

30,50 €

Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, Th

Lucanu, Dorel
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Lahiri, Shuvendu; Reger, Giles
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Notes in Mechanical Engineering

Adams, Henry
Creative Media Partners, LLC
2022
Pehmeäkantinen kirja

20,20 €

Architectural Specifications for the Painting, Enameling, Staining and Finishing of Woods Generally in a Medium and First Class

[dewar, John] [from Old Catalog]
Creative Media Partners, LLC
2025
Pehmeäkantinen kirja

15,40 €

Formalizing Data-Centric Web Services

Saleh, Iman
Springer
2015
Kovakantinen kirja

51,10 €

Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France,

Johnsen, Einar Broch; Schaefer, Ina
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Jones, Cliff; Wang, Ji; Zhan, Naijun
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France

Butler, Michael; Conchon, Sylvain; Zaïdi, Fatiha
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Qualitative Comparative Analysis (QCA) and Configurational Thinking in Management Studies

Schulze-Bentrop, Conrad
Peter Lang AG
2013
Kovakantinen kirja

63,20 €

Edexcel A level French (includes AS)

Harrington, Karine; Thathapudi, Kirsty; Hares, Rod; O'Mahony, Wendy; Gregg, Amy; Education, Hodder
Hachette Learning
2016
Pehmeäkantinen kirja

66,80 €

Architectural Design : Conception and Specification of Interactive Systems

Vissers, Chris A.; Pires, Luís Ferreira; Quartel, Dick A.C.; van Sinderen, Marten
Springer
2016
Kovakantinen kirja

51,10 €

Information Systems Security - 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings

Ray, Indrajit; Gaur, Manoj Singh; Conti, Mauro; Sanghi, Dheeraj; Kamakoti, V.
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Abate, Alessandro; Boldo, Sylvie
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2018
Kovakantinen kirja

137,30 €

Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig

Heckel, Reiko; Taentzer, Gabriele
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,10 €

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian
Books on Demand
2017
Kovakantinen kirja

96,00 €

Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 20

Howar, Falk; Barnat, Jiří
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

Automated Methods in Cryptographic Fault Analysis

Breier, Jakub; Hou, Xiaolu; Bhasin, Shivam
Springer
2019
Kovakantinen kirja

100,90 €

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2019
Pehmeäkantinen kirja

137,30 €