Suchergebnisse für ""Natarajan Shankar""




Ähnliche Artikel


Verified Software: Theories, Tools, Experiments
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bertrand Meyer / Jim Woodcock (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
2008
7. Juli 2008
Springer, Berlin
12282821

Verified Software. Theories, Tools, and Experiments
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
1st ed. 2017
15. Dezember 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-72307-5

Verified Software. Theories, Tools, and Experiments
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
1st ed. 2018
24. November 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-03591-4

Verified Software. Theories, Tools, and Experiments
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
1st ed. 2020
14. März 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-41599-0

Verified Software. Theories, Tools, and Experiments
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
1st ed. 2016
8. November 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-48868-4

Dependable Software Engineering. Theories, Tools, and Applications
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
1st ed. 2018
26. August 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-99932-6

Dependable Software Engineering: Theories, Tools, and Applications
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
1st ed. 2016
6. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47676-6

Verified Software. Theories, Tools and Experiments
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23¿24, 2023, Revised Selected Papers
2024
27. Juli 2024
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-66063-4

Logic for Programming, Artificial Intelligence, and Reasoning
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
2011
4. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80028528,978-3-642-17510-7

Conditionals and Modularity in General Logics
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Dov M. Gabbay
Karl Schlechta
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2011
19. August 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80034621,978-3-642-19067-4



Ähnlichkeitssuche: Fact®Finder von OMIKRON