Beispielbild für diese ISBNDynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel,…
Verlag: Springer
2023 Kartoniert, 172 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng
66,97 EUR
Beispielbild für diese ISBNDynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georg…
Verlag: Springer
2024 Kartoniert, 152 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng
66,97 EUR
Beispielbild für diese ISBNCONCUR 2013 -- Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Arge…
Verlag: Springer
2013 Kartoniert, 576 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng Fast track conference proceedingsUnique visibilityState of the art research
60,88 EUR
Beispielbild für diese ISBNComputer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, J…
Verlag: Springer
2013 Kartoniert, 1040 Seiten, 235mm x 155mm x 56mm, Sprache(n): eng Fast conference proceedingsState-of-the-art reportUp to date results
121,78 EUR
Beispielbild für diese ISBNTesting Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Tu…
Verlag: Springer
2013 Kartoniert, 308 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng State-of-the-art researchFast-track conference proceedingsUnique visibility
60,88 EUR
Beispielbild für diese ISBNFM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceed…
Verlag: Springer
2012 Kartoniert, 504 Seiten, 235mm x 155mm x 28mm, Sprache(n): eng Up to date resultsFast-track conference proceedingsState of the art research
60,88 EUR
Beispielbild für diese ISBNCONCUR 2012- Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne,…
Verlag: Springer
2012 Kartoniert, 596 Seiten, 235mm x 155mm x 32mm, Sprache(n): eng Up to date resultsState of the art researchFast track conference proceedings
60,88 EUR
Beispielbild für diese ISBNTheoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, Se…
Verlag: Springer
2012 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng Fast-track conference proceedingsState-of-the-art researchUp-to-date results
56,03 EUR
Beispielbild für diese ISBNFundamentals of Software Engineering - Fourth International IPM Conference, FSEN 2011, Tehran, Ira…
Verlag: Springer
2012 Kartoniert, 392 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Fast-track conference proceedingsState-of-the-art researchUp-to-date results
60,88 EUR
Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, London, UK, O…
Verlag: Springer
2012 Kartoniert, 408 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Fast conference proceedingsState-of-the-art reportUp to date results
60,88 EUR
- Stichwörter
- modelchecking
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
