|
|

avaa valikko

Stephan Merz | Akateeminen Kirjakauppa

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



Merz, Stephan; Pang, Jun
Springer
2014
Pehmeäkantinen kirja
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Merzbach, Joachim; Wantzen, Stephan;
Input Verlag
2009
Kovakantinen kirja
Verlagsratgeber Rechnungswesen: Basiswissen und Praxistipps
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
84,40 €
Navet, Nicolas; Merz, Stephan
ISTE Ltd and John Wiley & Sons Inc
2008
Kovakantinen kirja
Modeling and Verification of Real-time Systems - Formalisms and Software Tools
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
237,50 €
Kröger, Fred; Merz, Stephan
Springer
2008
Kovakantinen kirja
Temporal Logic and State Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Broy, Manfred; Merz, Stephan; Spies, Katharina
Springer
1996
Pehmeäkantinen kirja
Formal Systems Specification : The RPC-Memory Specification Case Study
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Méry, Dominique; Merz, Stephan
Springer
2010
Pehmeäkantinen kirja
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kröger, Fred; Merz, Stephan
Springer
2010
Pehmeäkantinen kirja
Temporal Logic and State Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Fischer, Frank; Merzbach, Joachim; Wantzen, Stephan;
Input Verlag
2009
Kovakantinen kirja
Verlagsratgeber Rechnungswesen: Finanzen im Verlag
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,50 €
Blanchette, Jasmin Christian; Merz, Stephan
Springer
2016
Pehmeäkantinen kirja
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €