Ergebnisse filtern
-
- 95
-
- 39
- 4
- 49
- 3
-
- 12
- 79
- 4
-
- 95
-
- 95
-
- 95
- 10
-
Liu / Zhu / Woodcock Unifying Theories of Programming and Formal Engineering Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures2013Verlag: SpringerISBN: 978-3-642-39720-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Malavolta / Zimmermann Software Architecture
14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58922-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shao Programming Languages and Systems
23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-642-54832-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hildebrandt / Weidlich / Ravara Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pang / Merz Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Souza / Larsen / Lal Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46080-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schneider / Polikarpova Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66844-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lubiw / Di Giacomo Graph Drawing and Network Visualization
23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27260-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salaün / Pasareanu Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-35860-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lönn / Wasowski / Wasowski Modelling Foundations and Applications
12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42060-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Legay / Bertacco Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Madelaine / Lanese Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15316-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Durán Rewriting Logic and Its Applications
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34004-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Idani / Canal Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15200-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dutle / Narkawicz / Muñoz NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-77934-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
ter Beek / Oliveira / McIver Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30941-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Johannesson / Lee / Pastor López Conceptual Modeling
34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25263-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tkachuk / Rayadurgam NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ouhammou / Bellatreche / Ivanovic Model and Data Engineering
7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-66853-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-41532-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jeusfeld / Delcambre / Ling Conceptual Modeling – ER 2011
30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24605-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Noble / Wallingford / Johnson Transactions on Pattern Languages of Programming III
2013Verlag: SpringerISBN: 978-3-642-38675-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Naumann Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-14805-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roscoe / Cornélio Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort