Broschiertes Buch
12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
1st ed. 2018
24. Februar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-76686-7
Broschiertes Buch
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
2013
31. Oktober 2013
Springer / Springer International Publishing / Springer, Berlin
86338202,978-3-319-03076-0
Broschiertes Buch
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
1st ed. 2017
25. Juli 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-63120-2
Broschiertes Buch
26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings
1st ed. 2019
14. September 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-30922-0
Broschiertes Buch
11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
1st ed. 2017
2. März 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-54875-3
Broschiertes Buch
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
2014
11. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-54847-5
23,99 €
Versandfertig in über 4 Wochen
Broschiertes Buch
Dezember 2007
AYEBIA CLARKE PUB
15,99 €
Versandfertig in über 4 Wochen
Broschiertes Buch
1. September 2014
Hachette Livre
Ähnlichkeitssuche: Fact®Finder von OMIKRON