SPECIFICATION | Akateeminen Kirjakauppa

Porsche at Le Mans - 70 Years

Smale, Glen
Quarto Publishing Group USA Inc
2021
Kovakantinen kirja

61,10 €

The Automotive Chassis - Volume 2: System Design

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

100,90 €

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

67,50 €

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
2016
Pehmeäkantinen kirja

51,10 €

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

Martinelli, Simon
Apress
2026
Pehmeäkantinen kirja

24,90 €

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 €

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

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

71,10 €

Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedi

Cimatti, Alessandro; Sirjani, Marjan
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Simulation-Driven Design by Knowledge-Based Response Correction Techniques

Koziel, Slawomir; Leifsson, Leifur
Springer International Publishing AG
2016
Kovakantinen kirja

51,10 €

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part

Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part

Majumdar, Rupak; Kunčak, Viktor
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

SCCharts - Language and Interactive Incremental Compilation

Motika, Christian
Books on Demand
2017
Kovakantinen kirja

96,00 €

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 €

Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018

Jansen, David N.; Prabhakar, Pavithra
Springer Nature Switzerland 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,90 €

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 €