Specification | Booky.fi

Smale, Glen
Quarto Publishing Group USA Inc
2021
Kovakantinen kirja

59,90 €

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing

Hameurlain, Abdelkader; Küng, Josef; Wagner, Roland; Schewe, Klaus-Dieter; Bosa, Karoly
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja

51,10 €

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,20 €

Concise Guide to Formal Methods - Theory, Fundamentals and Industry Applications

O'Regan, Gerard
Springer International Publishing AG
2017
Pehmeäkantinen kirja

71,10 €

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian
Books on Demand
2017
Kovakantinen kirja

96,00 €

Spec-Driven Development - From Specs to Code with AI Agents

Martinelli, Simon
APress
2026
Pehmeäkantinen kirja

30,50 €

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 €

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 €

Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Co

Hähnle, Reiner; van der Aalst, Wil
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

The Automotive Chassis - Volume 2: System Design

Genta, Giancarlo; Morello, Lorenzo
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

100,90 €

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 €

Risk-based Management of GMP Audits

Hieble-Gerhard, Viola
Tectum Verlag
2010
Pehmeäkantinen kirja

58,60 €

Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems

Aoumeur, Nasreddine
Shaker Verlag
2002
Pehmeäkantinen kirja

80,60 €

Verifying OCL Specifications of UML Models

Kyas, Marcel
Lehmanns Media GmbH
2006
Pehmeäkantinen kirja

62,30 €

Formalizing Data-Centric Web Services

Saleh, Iman
Springer International Publishing AG
2015
Kovakantinen kirja

51,10 €

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

Schulze-Bentrop, Conrad
Peter Lang AG
2013
Kovakantinen kirja

63,60 €

Automatic Methods for the Refinement of System Models - From the Specification to the Implementation

Seiter, Julia; Wille, Robert; Drechsler, Rolf
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Architectural Design - Conception and Specification of Interactive Systems

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

51,10 €

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 €

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 €