Ergebnisse filtern
-
- 26
-
- 1
- 4
- 2
- 7
- 5
- 5
- 2
-
- 13
- 11
- 2
-
- 1
- 23
- 2
-
- 26
-
- 26
-
- 26
Modellierung, UML, SysML
-
Veith / Sharygina Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Quesada-Arencibia / Pichler Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Desel / Colom Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38696-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-36741-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tinelli / Baier Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46680-3Medium: 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
-
Iida / Ogata / Meseguer Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi2014Verlag: SpringerISBN: 978-3-642-54623-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kutrib / Holzer Implementation and Application of Automata
19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08845-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Reis / Moreira Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-31605-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Seki / Proietti Logic-Based Program Synthesis and Transformation
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-17821-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Piskac / Enea Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-11244-8Medium: 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
-
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
-
Gleich / Litvak / Komjáthy Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26783-8Medium: Buch51,36 € (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
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bensalem / Legay / Lakhnech From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-642-54847-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45488-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Meyer / Wehrheim / Platzer Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23505-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Merino / Gallardo Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
