Reihe: Programming and Software Engineering - faltershop.at

JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Home
Reihe: Programming and Software Engineering

Models@run.time

Foundations, Applications, and Roadmaps

Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann

Taschenbuch | Springer International Publishing, 2014

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 54,99
Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Taschenbuch | Springer International Publishing, 2014

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 54,99
FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Cliff Jones, Pekka Pihlajasaari, Jun Sun

Taschenbuch | Springer International Publishing, 2014

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 109,99
Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Steve Counsell, Manuel Núñez

Taschenbuch | Springer International Publishing, 2014

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 54,99
Software Language Engineering

6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Martin Erwig, Richard F. Paige, Eric Van Wyk

Taschenbuch | Springer International Publishing, 2013

Sprache: Englisch

Lieferung in 7-14 Werktagen

€ 54,99