Marsha Chechik – författare
Visar alla böcker från författaren Marsha Chechik. Handla med fri frakt och snabb leverans.
11 produkter
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Marsha Chechik, Joost-Pieter Katoen m. fl.
Häftad, 2023
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been …
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Martin Leucker, Joost-Pieter Katoen m. fl.
E-bok, 2023
1470 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been …
Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Av Sandrine Blazy, Marsha Chechik
Häftad, 2016
569 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented …
Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Av Marsha Chechik, Sandrine Blazy
E-bok, 2016
755 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented …
CONCUR 2008 - Concurrency Theory
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Av Franck van Breugel, Marsha Chechik
Häftad, 2008
569 kr
Lägg i varukorg
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19–22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed …
CONCUR 2008 - Concurrency Theory
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Av Marsha Chechik, Franck van Breugel
E-bok, 2008
755 kr
Lägg i varukorg
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19–22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed …
Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Av Marsha Chechik, Martin Wirsing
Häftad, 2009
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers …
Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Av Martin Wirsing, Marsha Chechik
E-bok, 2009
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers …
Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Av Marsha Chechik, Jean-François Raskin
Häftad, 2016
569 kr
Lägg i varukorg
This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, …
Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Av Jean-Francois Raskin, Marsha Chechik
E-bok, 2016
755 kr
Lägg i varukorg
This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which tookplace in Eindhoven, The Netherlands, in April 2016, held as Part of theEuropean Joint Conferences on Theory and Practice of Software, …
