|
|

avaa valikko

Specification | Akateeminen Kirjakauppa

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



Martinelli, Simon
Apress
2026
Pehmeäkantinen kirja
Spec-Driven Development : From Specs to Code with AI Agents
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
24,90 €
[dewar, John] [from Old Catalog]
Creative Media Partners, LLC
2025
Kovakantinen kirja
Architectural Specifications for the Painting, Enameling, Staining and Finishing of Woods Generally in a Medium and First Class
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
30,20 €
Petrenko, Alexander K.; Voronkov, Andrei
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Koziel, Slawomir; Leifsson, Leifur
Springer
2016
Kovakantinen kirja
Simulation-Driven Design by Knowledge-Based Response Correction Techniques
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Abate, Alessandro; Boldo, Sylvie
Springer
2017
Pehmeäkantinen kirja
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Howar, Falk; Barnat, Jiří
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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 €
Lambers, Leen; Weber, Jens
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Vissers, Chris A.; Pires, Luís Ferreira; Quartel, Dick A.C.; van Sinderen, Marten
Springer
2016
Kovakantinen kirja
Architectural Design : Conception and Specification of Interactive Systems
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 €
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 €
Motika, Christian
Books on Demand
2017
Kovakantinen kirja
SCCharts - Language and Interactive Incremental Compilation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
96,00 €
Johnsen, Einar Broch; Schaefer, Ina
Springer
2018
Pehmeäkantinen kirja
Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Nagle, Garrett; Guinness, Paul
Hachette Learning
2023
Pehmeäkantinen kirja
Pearson Edexcel International GCSE (9-1) Geography
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
59,10 €
Adams, Henry
Creative Media Partners, LLC
2022
Pehmeäkantinen kirja
Notes in Mechanical Engineering
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
20,10 €
Hieble-Gerhard, Viola
Tectum Verlag
2010
Pehmeäkantinen kirja
Risk-based Management of GMP Audits
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
58,60 €
Schairer, Axel
Shaker Verlag
2006
Pehmeäkantinen kirja
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,70 €
Aoumeur, Nasreddine
Shaker Verlag
2002
Pehmeäkantinen kirja
Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
80,60 €
Saleh, Iman
Springer
2015
Kovakantinen kirja
Formalizing Data-Centric Web Services
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Schulze-Bentrop, Conrad
Peter Lang AG
2013
Kovakantinen kirja
Qualitative Comparative Analysis (QCA) and Configurational Thinking in Management Studies
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
63,00 €

Näytä lisää...