specification | Akateeminen Kirjakauppa

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

Martinelli, Simon
APress
2026
Pehmeäkantinen kirja

30,50 €

Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September

Escobar, Santiago; Titolo, Laura
Springer
2025
Pehmeäkantinen kirja

80,80 €

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

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

51,10 €

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
Kovakantinen kirja

30,60 €

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

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
2015
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 €

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 €

Lectures on Runtime Verification - Introductory and Advanced Topics

Bartocci, Ezio; Falcone, Yliès
Springer International Publishing AG
2018
Pehmeäkantinen kirja

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

Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Le

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

59,10 €

Notes in Mechanical Engineering

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

20,40 €

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 €

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016

Fummi, Franco; Wille, Robert
Springer
2017
Kovakantinen kirja

100,90 €

Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016

Hermenegildo, Manuel V; Lopez-Garcia, Pedro
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
2019
Pehmeäkantinen kirja

137,30 €

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 €