Fundamental approaches to software engineering : 24th...

Main
Fundamental approaches to software...

Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings

Mariëlle Stoelinga (editor), Esther Guerra (editor)

0 / 4.5

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

সাল:

2021

প্রকাশক:

Springer

ভাষা:

english

পৃষ্ঠা:

373

ISBN 10:

3030715019

ISBN 13:

9783030715014

বইয়ের সিরিজ:

Advanced research in computing and software science, 12649

ফাইল:

PDF, 10.61 MB

IPFS:

,

english, 2021

অনলাইনে পড়া

ডাউনলোড (pdf, 10.61 MB)

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

আপনি আগ্রহী হতে পারেন

Heike Wehrheim & Jordi Cabot — Fundamental Approaches to Software Engineering

Alessandra Russo & Andy Schürr — Fundamental Approaches to Software Engineering

Reiner Hähnle & Wil van der Aalst — Fundamental Approaches to Software Engineering

Amal Ahmed — Programming Languages and Systems

Isil Dillig & Serdar Tasiran — Computer Aided Verification

Christian Colombo, Martin Leucker — Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Reiner Hähnle, Wil van der Aalst — Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Peter Csaba Ölveczky, Gwen Salaün — Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay — Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira — Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Dirk Beyer, Chantal Keller — Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Peter Müller — Programming Languages and Systems

Emil Sekerinski, Nelma Moreira, José N. Oliveira, et al. — Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Frank de Boer, Antonio Cerone — Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Tiziana Margaria, Bernhard Steffen — Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Bruno C. d. S. Oliveira — Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Esther Guerra, Mariëlle Stoelinga — Fundamental Approaches to Software Engineering

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.) — The Logic of Software. A Tasting Menu of Formal Methods

Wei-Ngan Chin, Zhiwu Xu — Theoretical Aspects of Software Engineering

Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.) — Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Filippo Bonchi, Georgiana Caltais, Damien Pous (auth.), Chung-chieh Shan (eds.) — Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Rocco De Nicola, Eva Kühn (eds.) — Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Aaron Dutle, César Muñoz, Anthony Narkawicz — NASA Formal Methods

Alessandra Russo, Andy Schürr — Fundamental Approaches to Software Engineering

Amal Ahmed — Programming Languages and Systems

Bernhard Steffen, Gerhard Woeginger — Computing and Software Science: State of the Art and Perspectives

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink — Formal Methods

Hana Chockler, Georg Weissenbacher — Computer Aided Verification (30th International Conference)

Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.) — FME 2002: Formal Methods—Getting IT Right. International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.) — Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.) — Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.) — 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

June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.) — Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.) — Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

প্রায়শই ব্যবহৃত পরিভাষা