Chechik, Marsha books & textbook
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers (Programming and Software Engineering)
Blazy, Sandrine Chechik, Marsha
Springer /2016-11-08 Paperback / 213 Pages
isbn-10: 3319488686 / isbn-13: 9783319488684
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings (Lecture Notes in Computer Science, 5201)
van Breugel, Franck Chechik, Marsha
Springer /2008-07-30 Paperback / 537 Pages
isbn-10: 354085360X / isbn-13: 9783540853602
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 9636)
Chechik, Marsha Raskin, Jean-François
Springer /2016-04-09 Paperback / 980 Pages
isbn-10: 3662496739 / isbn-13: 9783662496732
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 5503)
Chechik, Marsha Wirsing, Martin
Springer /2009-03-09 Paperback / 501 Pages
isbn-10: 3642005926 / isbn-13: 9783642005923
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science)
Chechik, Marsha Katoen, Joost-Pieter Leucker, Martin
Springer /2023-03-03 Paperback / 676 Pages
isbn-10: 3031274806 / isbn-13: 9783031274800
