Suchergebnisse für ""Yosr Jarraya""




Ähnliche Artikel


Static Analysis
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
20. August 2014
Springer / Springer International Publishing / Springer, Berlin
86380061,978-3-319-10935-0

Dependable Software Engineering: Theories, Tools, and Applications
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
1st ed. 2015
27. Oktober 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-25941-3

Fundamental Approaches to Software Engineering
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
17. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-54803-1

Tools and Algorithms for the Construction and Analysis of Systems
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
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, Proceedings
8. April 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46680-3

Coloured Petri Nets
46,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Kurt Jensen
Lars M. Kristensen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Modelling and Validation of Concurrent Systems
2009
2. November 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-42581-3

Perspectives of System Informatics
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
30. April 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46822-7

FM 2015: Formal Methods
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
2. Juni 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-19248-2

Web Services, Formal Methods, and Behavioral Types
32,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
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 Papers
1st ed. 2016
20. April 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-33611-4

Automated Technology for Verification and Analysis
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
29. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382662,978-3-319-11935-9

Software Engineering and Formal Methods
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
4. August 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-10430-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON