SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Stephan Merz | Akateeminen Kirjakauppa

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



Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg,
Stephan Merz; Jun Pang
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verlagsratgeber Rechnungswesen: Basiswissen und Praxistipps
Joachim Merzbach; Stephan Wantzen
Input Verlag (2009)
Kovakantinen kirja
82,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling and Verification of Real-time Systems - Formalisms and Software Tools
Nicolas Navet; Stephan Merz
ISTE Ltd and John Wiley & Sons Inc (2008)
Kovakantinen kirja
234,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Logic and State Systems
Fred Kröger; Stephan Merz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Kovakantinen kirja
73,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Systems Specification - The RPC-Memory Specification Case Study
Manfred Broy; Stephan Merz; Katharina Spies
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Dominique Méry; Stephan Merz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Logic and State Systems
Fred Kröger; Stephan Merz
Springer (2010)
Pehmeäkantinen kirja
73,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verlagsratgeber Rechnungswesen: Finanzen im Verlag
Frank Fischer; Joachim Merzbach; Stephan Wantzen
Input Verlag (2009)
Kovakantinen kirja
89,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Jasmin Christian Blanchette; Stephan Merz
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg,
49,60 €
Springer International Publishing AG
Sivumäärä: 460 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014
Julkaisuvuosi: 2014, 23.09.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg,
Näytä kaikki tuotetiedot
ISBN:
9783319117362
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste